Index of /debian-archive/debian/pool/main/c/cvc4/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.6.orig.tar.gz 78158932018-Aug-08 04:44
cvc4_1.6-2.dsc 26522018-Aug-14 05:01
cvc4_1.6-2.debian.tar.xz 82322018-Aug-14 05:01
cvc4_1.6-2+b1_i386.deb 1394642018-Nov-17 11:59
libcvc4-dev_1.6-2+b1_i386.deb 72088842018-Nov-17 11:59
libcvc4-5_1.6-2+b1_i386.deb 45078642018-Nov-17 11:59
libcvc4parser5_1.6-2+b1_i386.deb 3895242018-Nov-17 11:59
cvc4_1.6-2+b1_amd64.deb 1362442018-Nov-17 18:57
libcvc4-dev_1.6-2+b1_amd64.deb 67180202018-Nov-17 18:57
libcvc4-5_1.6-2+b1_amd64.deb 40565562018-Nov-17 18:57
libcvc4parser5_1.6-2+b1_amd64.deb 3625162018-Nov-17 18:57
cvc4_1.6-2+b1_mips.deb 1207962018-Nov-18 18:58
libcvc4parser5_1.6-2+b1_mips.deb 2966562018-Nov-18 18:58
libcvc4-dev_1.6-2+b1_mips.deb 69271202018-Nov-18 18:58
libcvc4-5_1.6-2+b1_mips.deb 31870762018-Nov-18 18:58
libcvc4-5_1.6-2+b1_mips64el.deb 31644722018-Nov-19 22:45
libcvc4-dev_1.6-2+b1_mips64el.deb 74220842018-Nov-19 22:45
cvc4_1.6-2+b1_mips64el.deb 1226722018-Nov-19 22:45
libcvc4parser5_1.6-2+b1_mips64el.deb 2998322018-Nov-19 22:45
cvc4_1.6-2+b1_mipsel.deb 1227002018-Nov-20 05:11
libcvc4-dev_1.6-2+b1_mipsel.deb 71508962018-Nov-20 05:11
libcvc4parser5_1.6-2+b1_mipsel.deb 3037202018-Nov-20 05:11
libcvc4-5_1.6-2+b1_mipsel.deb 32376762018-Nov-20 05:11
cvc4_1.8.orig.tar.gz 75471872020-Sep-14 08:17
cvc4_1.8-2.dsc 22752020-Sep-18 10:25
cvc4_1.8-2.debian.tar.xz 164562020-Sep-18 10:25
cvc4_1.8-2_amd64.deb 814882020-Sep-18 11:11
libcvc4-dev_1.8-2_amd64.deb 1312642020-Sep-18 11:11
libcvc4-7_1.8-2_amd64.deb 56517162020-Sep-18 11:11
libcvc4parser7_1.8-2_amd64.deb 3662122020-Sep-18 11:11
cvc4_1.8-2_ppc64el.deb 801242020-Sep-18 11:11
libcvc4-7_1.8-2_ppc64el.deb 53516362020-Sep-18 11:11
libcvc4-dev_1.8-2_ppc64el.deb 1312562020-Sep-18 11:11
libcvc4parser7_1.8-2_ppc64el.deb 3584842020-Sep-18 11:11
cvc4_1.8-2_arm64.deb 760642020-Sep-18 11:27
libcvc4-7_1.8-2_arm64.deb 47838362020-Sep-18 11:27
libcvc4parser7_1.8-2_arm64.deb 3282002020-Sep-18 11:27
libcvc4-dev_1.8-2_arm64.deb 1312682020-Sep-18 11:27
cvc4_1.8-2_armhf.deb 756522020-Sep-18 11:32
libcvc4-dev_1.8-2_armhf.deb 1312562020-Sep-18 11:32
libcvc4-7_1.8-2_armhf.deb 49897282020-Sep-18 11:32
libcvc4parser7_1.8-2_armhf.deb 3281402020-Sep-18 11:32
cvc4_1.8-2_i386.deb 825482020-Sep-18 11:42
libcvc4-7_1.8-2_i386.deb 61528122020-Sep-18 11:42
libcvc4-dev_1.8-2_i386.deb 1312522020-Sep-18 11:42
libcvc4parser7_1.8-2_i386.deb 3824842020-Sep-18 11:42
cvc4_1.8-2_armel.deb 743202020-Sep-18 13:29
libcvc4parser7_1.8-2_armel.deb 3238242020-Sep-18 13:29
libcvc4-7_1.8-2_armel.deb 48716362020-Sep-18 13:29
libcvc4-dev_1.8-2_armel.deb 1312482020-Sep-18 13:29
cvc4_1.8-2_mipsel.deb 743882020-Sep-18 14:44
libcvc4-7_1.8-2_mipsel.deb 42706922020-Sep-18 14:44
libcvc4parser7_1.8-2_mipsel.deb 3055042020-Sep-18 14:44
libcvc4-dev_1.8-2_mipsel.deb 1312562020-Sep-18 14:44
cvc4_1.8-2_s390x.deb 760242020-Sep-18 16:10
libcvc4-dev_1.8-2_s390x.deb 1312642020-Sep-18 16:10
libcvc4parser7_1.8-2_s390x.deb 3238922020-Sep-18 16:10
libcvc4-7_1.8-2_s390x.deb 50674562020-Sep-18 16:10
cvc4_1.8-2_mips64el.deb 740642020-Sep-18 17:01
libcvc4-dev_1.8-2_mips64el.deb 1312602020-Sep-18 17:01
libcvc4parser7_1.8-2_mips64el.deb 3039802020-Sep-18 17:01
libcvc4-7_1.8-2_mips64el.deb 41371002020-Sep-18 17:01