Index of /debian/pool/main/c/cvc4
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/compressed.gif)
cvc4_1.5.orig.tar.gz 31-Jul-2017 22:00 7.6M
![[ ]](/icons/unknown.gif)
libcvc4-dev_1.5-1_mips64el.deb 01-Nov-2017 11:40 6.3M
libcvc4-dev_1.5-1_mipsel.deb 01-Nov-2017 01:58 6.2M
libcvc4-dev_1.5-1_hurd-i386.deb 30-Oct-2017 11:13 6.1M
libcvc4-dev_1.5-1_kfreebsd-i386.deb 31-Oct-2017 17:15 6.1M
libcvc4-dev_1.5-1_i386.deb 30-Oct-2017 01:11 6.1M
libcvc4-dev_1.5-1_mips.deb 30-Oct-2017 07:42 6.0M
libcvc4-dev_1.5-1_amd64.deb 31-Jul-2017 22:00 5.9M
libcvc4-dev_1.5-1_kfreebsd-amd64.deb 31-Oct-2017 14:59 5.7M
libcvc4-4_1.5-1_hurd-i386.deb 30-Oct-2017 11:13 3.5M
libcvc4-4_1.5-1_kfreebsd-i386.deb 31-Oct-2017 17:15 3.5M
libcvc4-4_1.5-1_i386.deb 30-Oct-2017 01:11 3.5M
libcvc4-4_1.5-1_amd64.deb 31-Jul-2017 22:00 3.4M
libcvc4-4_1.5-1_kfreebsd-amd64.deb 31-Oct-2017 14:59 3.2M
libcvc4-4_1.5-1_mipsel.deb 01-Nov-2017 01:58 2.6M
libcvc4-4_1.5-1_mips64el.deb 01-Nov-2017 11:40 2.6M
libcvc4-4_1.5-1_mips.deb 30-Oct-2017 07:42 2.6M
libcvc4parser4_1.5-1_hurd-i386.deb 30-Oct-2017 11:13 383K
libcvc4parser4_1.5-1_i386.deb 30-Oct-2017 01:11 382K
libcvc4parser4_1.5-1_kfreebsd-i386.deb 31-Oct-2017 17:15 381K
libcvc4parser4_1.5-1_kfreebsd-amd64.deb 31-Oct-2017 14:59 356K
libcvc4parser4_1.5-1_amd64.deb 31-Jul-2017 22:00 356K
libcvc4parser4_1.5-1_mipsel.deb 01-Nov-2017 01:58 300K
libcvc4parser4_1.5-1_mips64el.deb 01-Nov-2017 11:40 296K
libcvc4parser4_1.5-1_mips.deb 30-Oct-2017 07:42 294K
cvc4_1.5-1_i386.deb 30-Oct-2017 01:11 137K
cvc4_1.5-1_hurd-i386.deb 30-Oct-2017 11:13 136K
cvc4_1.5-1_kfreebsd-i386.deb 31-Oct-2017 17:15 136K
cvc4_1.5-1_amd64.deb 31-Jul-2017 22:00 133K
cvc4_1.5-1_kfreebsd-amd64.deb 31-Oct-2017 14:59 130K
cvc4_1.5-1_mips64el.deb 01-Nov-2017 11:40 122K
cvc4_1.5-1_mipsel.deb 01-Nov-2017 01:58 121K
cvc4_1.5-1_mips.deb 30-Oct-2017 07:42 119K
cvc4_1.5-1.debian.tar.xz 31-Jul-2017 22:00 5.9K
![[TXT]](/icons/text.gif)
cvc4_1.5-1.dsc 31-Jul-2017 22:00 2.2K