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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.6-2+b1_amd64.deb 1362442018-Nov-17 09:57
cvc4_1.6-2+b1_i386.deb 1394642018-Nov-17 02:59
cvc4_1.6-2+b1_mips.deb 1207962018-Nov-18 09:58
cvc4_1.6-2+b1_mips64el.deb 1226722018-Nov-19 13:45
cvc4_1.6-2+b1_mipsel.deb 1227002018-Nov-19 20:11
cvc4_1.6-2.debian.tar.xz 82322018-Aug-13 20:01
cvc4_1.6-2.dsc 26522018-Aug-13 20:01
cvc4_1.6.orig.tar.gz 78158932018-Aug-07 19:44
cvc4_1.8-2.debian.tar.xz 164562020-Sep-18 01:25
cvc4_1.8-2.dsc 22752020-Sep-18 01:25
cvc4_1.8-2_amd64.deb 814882020-Sep-18 02:11
cvc4_1.8-2_arm64.deb 760642020-Sep-18 02:27
cvc4_1.8-2_armel.deb 743202020-Sep-18 04:29
cvc4_1.8-2_armhf.deb 756522020-Sep-18 02:32
cvc4_1.8-2_i386.deb 825482020-Sep-18 02:42
cvc4_1.8-2_mips64el.deb 740642020-Sep-18 08:01
cvc4_1.8-2_mipsel.deb 743882020-Sep-18 05:44
cvc4_1.8-2_ppc64el.deb 801242020-Sep-18 02:11
cvc4_1.8-2_s390x.deb 760242020-Sep-18 07:10
cvc4_1.8-3+b1_amd64.deb 826002024-Jan-05 21:52
cvc4_1.8-3+b1_arm64.deb 764122024-Jan-05 23:07
cvc4_1.8-3+b1_armel.deb 752362024-Jan-06 02:27
cvc4_1.8-3+b1_armhf.deb 763562024-Jan-05 21:40
cvc4_1.8-3+b1_i386.deb 843522024-Jan-05 22:40
cvc4_1.8-3+b1_mips64el.deb 749042024-Jan-06 09:42
cvc4_1.8-3+b1_ppc64el.deb 806802024-Jan-05 20:52
cvc4_1.8-3+b1_s390x.deb 798442024-Jan-06 07:19
cvc4_1.8-3+b2_amd64.deb 825562024-Mar-12 18:32
cvc4_1.8-3+b2_arm64.deb 764602024-Mar-12 19:40
cvc4_1.8-3+b2_i386.deb 842482024-Mar-12 19:35
cvc4_1.8-3+b2_mips64el.deb 748002024-Mar-14 10:26
cvc4_1.8-3+b2_ppc64el.deb 808122024-Mar-12 17:23
cvc4_1.8-3+b2_riscv64.deb 792722024-Mar-13 22:34
cvc4_1.8-3+b2_s390x.deb 798402024-Mar-13 14:42
cvc4_1.8-3.debian.tar.xz 167282022-Oct-29 19:57
cvc4_1.8-3.dsc 22442022-Oct-29 19:57
cvc4_1.8-3_amd64.deb 806882022-Oct-29 21:29
cvc4_1.8-3_arm64.deb 755642022-Oct-29 21:47
cvc4_1.8-3_armel.deb 741282022-Oct-29 21:57
cvc4_1.8-3_armhf.deb 751082022-Oct-29 21:47
cvc4_1.8-3_i386.deb 826522022-Oct-29 21:23
cvc4_1.8-3_mips64el.deb 739042022-Oct-30 01:59
cvc4_1.8-3_mipsel.deb 740962022-Oct-29 22:12
cvc4_1.8-3_ppc64el.deb 804042022-Oct-29 21:42
cvc4_1.8-3_s390x.deb 757682022-Oct-29 21:39
cvc4_1.8.orig.tar.gz 75471872020-Sep-13 23:17
libcvc4-5_1.6-2+b1_amd64.deb 40565562018-Nov-17 09:57
libcvc4-5_1.6-2+b1_i386.deb 45078642018-Nov-17 02:59
libcvc4-5_1.6-2+b1_mips.deb 31870762018-Nov-18 09:58
libcvc4-5_1.6-2+b1_mips64el.deb 31644722018-Nov-19 13:45
libcvc4-5_1.6-2+b1_mipsel.deb 32376762018-Nov-19 20:11
libcvc4-7_1.8-2_amd64.deb 56517162020-Sep-18 02:11
libcvc4-7_1.8-2_arm64.deb 47838362020-Sep-18 02:27
libcvc4-7_1.8-2_armel.deb 48716362020-Sep-18 04:29
libcvc4-7_1.8-2_armhf.deb 49897282020-Sep-18 02:32
libcvc4-7_1.8-2_i386.deb 61528122020-Sep-18 02:42
libcvc4-7_1.8-2_mips64el.deb 41371002020-Sep-18 08:01
libcvc4-7_1.8-2_mipsel.deb 42706922020-Sep-18 05:44
libcvc4-7_1.8-2_ppc64el.deb 53516362020-Sep-18 02:11
libcvc4-7_1.8-2_s390x.deb 50674562020-Sep-18 07:10
libcvc4-7_1.8-3+b1_amd64.deb 59917682024-Jan-05 21:52
libcvc4-7_1.8-3+b1_arm64.deb 50716482024-Jan-05 23:07
libcvc4-7_1.8-3+b1_armel.deb 52876202024-Jan-06 02:27
libcvc4-7_1.8-3+b1_armhf.deb 53443962024-Jan-05 21:40
libcvc4-7_1.8-3+b1_i386.deb 67026282024-Jan-05 22:40
libcvc4-7_1.8-3+b1_mips64el.deb 44492642024-Jan-06 09:42
libcvc4-7_1.8-3+b1_ppc64el.deb 56582762024-Jan-05 20:52
libcvc4-7_1.8-3+b1_s390x.deb 61009802024-Jan-06 07:19
libcvc4-7_1.8-3+b2_amd64.deb 59943882024-Mar-12 18:32
libcvc4-7_1.8-3+b2_arm64.deb 50697642024-Mar-12 19:40
libcvc4-7_1.8-3+b2_i386.deb 67022522024-Mar-12 19:35
libcvc4-7_1.8-3+b2_mips64el.deb 44450362024-Mar-14 10:26
libcvc4-7_1.8-3+b2_ppc64el.deb 56595842024-Mar-12 17:23
libcvc4-7_1.8-3+b2_riscv64.deb 60270922024-Mar-13 22:34
libcvc4-7_1.8-3+b2_s390x.deb 61073882024-Mar-13 14:42
libcvc4-7_1.8-3_amd64.deb 59367922022-Oct-29 21:29
libcvc4-7_1.8-3_arm64.deb 49974682022-Oct-29 21:47
libcvc4-7_1.8-3_armel.deb 52259882022-Oct-29 21:57
libcvc4-7_1.8-3_armhf.deb 52990802022-Oct-29 21:47
libcvc4-7_1.8-3_i386.deb 67007042022-Oct-29 21:23
libcvc4-7_1.8-3_mips64el.deb 44416842022-Oct-30 01:59
libcvc4-7_1.8-3_mipsel.deb 45711482022-Oct-29 22:12
libcvc4-7_1.8-3_ppc64el.deb 56520442022-Oct-29 21:42
libcvc4-7_1.8-3_s390x.deb 53273562022-Oct-29 21:39
libcvc4-dev_1.6-2+b1_amd64.deb 67180202018-Nov-17 09:57
libcvc4-dev_1.6-2+b1_i386.deb 72088842018-Nov-17 02:59
libcvc4-dev_1.6-2+b1_mips.deb 69271202018-Nov-18 09:58
libcvc4-dev_1.6-2+b1_mips64el.deb 74220842018-Nov-19 13:45
libcvc4-dev_1.6-2+b1_mipsel.deb 71508962018-Nov-19 20:11
libcvc4-dev_1.8-2_amd64.deb 1312642020-Sep-18 02:11
libcvc4-dev_1.8-2_arm64.deb 1312682020-Sep-18 02:27
libcvc4-dev_1.8-2_armel.deb 1312482020-Sep-18 04:29
libcvc4-dev_1.8-2_armhf.deb 1312562020-Sep-18 02:32
libcvc4-dev_1.8-2_i386.deb 1312522020-Sep-18 02:42
libcvc4-dev_1.8-2_mips64el.deb 1312602020-Sep-18 08:01
libcvc4-dev_1.8-2_mipsel.deb 1312562020-Sep-18 05:44
libcvc4-dev_1.8-2_ppc64el.deb 1312562020-Sep-18 02:11
libcvc4-dev_1.8-2_s390x.deb 1312642020-Sep-18 07:10
libcvc4-dev_1.8-3+b1_amd64.deb 1314322024-Jan-05 21:52
libcvc4-dev_1.8-3+b1_arm64.deb 1314202024-Jan-05 23:07
libcvc4-dev_1.8-3+b1_armel.deb 1314162024-Jan-06 02:27
libcvc4-dev_1.8-3+b1_armhf.deb 1314402024-Jan-05 21:40
libcvc4-dev_1.8-3+b1_i386.deb 1314482024-Jan-05 22:40
libcvc4-dev_1.8-3+b1_mips64el.deb 1314322024-Jan-06 09:42
libcvc4-dev_1.8-3+b1_ppc64el.deb 1314282024-Jan-05 20:52
libcvc4-dev_1.8-3+b1_s390x.deb 1314402024-Jan-06 07:19
libcvc4-dev_1.8-3+b2_amd64.deb 1314242024-Mar-12 18:32
libcvc4-dev_1.8-3+b2_arm64.deb 1314042024-Mar-12 19:40
libcvc4-dev_1.8-3+b2_i386.deb 1313882024-Mar-12 19:35
libcvc4-dev_1.8-3+b2_mips64el.deb 1314402024-Mar-14 10:26
libcvc4-dev_1.8-3+b2_ppc64el.deb 1313802024-Mar-12 17:23
libcvc4-dev_1.8-3+b2_riscv64.deb 1313962024-Mar-13 22:34
libcvc4-dev_1.8-3+b2_s390x.deb 1313562024-Mar-13 14:42
libcvc4-dev_1.8-3_amd64.deb 1311122022-Oct-29 21:29
libcvc4-dev_1.8-3_arm64.deb 1311202022-Oct-29 21:47
libcvc4-dev_1.8-3_armel.deb 1311042022-Oct-29 21:57
libcvc4-dev_1.8-3_armhf.deb 1311162022-Oct-29 21:47
libcvc4-dev_1.8-3_i386.deb 1311122022-Oct-29 21:23
libcvc4-dev_1.8-3_mips64el.deb 1311242022-Oct-30 01:59
libcvc4-dev_1.8-3_mipsel.deb 1311122022-Oct-29 22:12
libcvc4-dev_1.8-3_ppc64el.deb 1311202022-Oct-29 21:42
libcvc4-dev_1.8-3_s390x.deb 1311122022-Oct-29 21:39
libcvc4parser5_1.6-2+b1_amd64.deb 3625162018-Nov-17 09:57
libcvc4parser5_1.6-2+b1_i386.deb 3895242018-Nov-17 02:59
libcvc4parser5_1.6-2+b1_mips.deb 2966562018-Nov-18 09:58
libcvc4parser5_1.6-2+b1_mips64el.deb 2998322018-Nov-19 13:45
libcvc4parser5_1.6-2+b1_mipsel.deb 3037202018-Nov-19 20:11
libcvc4parser7_1.8-2_amd64.deb 3662122020-Sep-18 02:11
libcvc4parser7_1.8-2_arm64.deb 3282002020-Sep-18 02:27
libcvc4parser7_1.8-2_armel.deb 3238242020-Sep-18 04:29
libcvc4parser7_1.8-2_armhf.deb 3281402020-Sep-18 02:32
libcvc4parser7_1.8-2_i386.deb 3824842020-Sep-18 02:42
libcvc4parser7_1.8-2_mips64el.deb 3039802020-Sep-18 08:01
libcvc4parser7_1.8-2_mipsel.deb 3055042020-Sep-18 05:44
libcvc4parser7_1.8-2_ppc64el.deb 3584842020-Sep-18 02:11
libcvc4parser7_1.8-2_s390x.deb 3238922020-Sep-18 07:10
libcvc4parser7_1.8-3+b1_amd64.deb 3657762024-Jan-05 21:52
libcvc4parser7_1.8-3+b1_arm64.deb 3214682024-Jan-05 23:07
libcvc4parser7_1.8-3+b1_armel.deb 3203482024-Jan-06 02:27
libcvc4parser7_1.8-3+b1_armhf.deb 3301402024-Jan-05 21:40
libcvc4parser7_1.8-3+b1_i386.deb 3939522024-Jan-05 22:40
libcvc4parser7_1.8-3+b1_mips64el.deb 3006522024-Jan-06 09:42
libcvc4parser7_1.8-3+b1_ppc64el.deb 3523522024-Jan-05 20:52
libcvc4parser7_1.8-3+b1_s390x.deb 3808442024-Jan-06 07:19
libcvc4parser7_1.8-3+b2_amd64.deb 3655002024-Mar-12 18:32
libcvc4parser7_1.8-3+b2_arm64.deb 3212162024-Mar-12 19:40
libcvc4parser7_1.8-3+b2_i386.deb 3938242024-Mar-12 19:35
libcvc4parser7_1.8-3+b2_mips64el.deb 3011562024-Mar-14 10:26
libcvc4parser7_1.8-3+b2_ppc64el.deb 3525002024-Mar-12 17:23
libcvc4parser7_1.8-3+b2_riscv64.deb 3534722024-Mar-13 22:34
libcvc4parser7_1.8-3+b2_s390x.deb 3806402024-Mar-13 14:42
libcvc4parser7_1.8-3_amd64.deb 3623042022-Oct-29 21:29
libcvc4parser7_1.8-3_arm64.deb 3226682022-Oct-29 21:47
libcvc4parser7_1.8-3_armel.deb 3173042022-Oct-29 21:57
libcvc4parser7_1.8-3_armhf.deb 3296522022-Oct-29 21:47
libcvc4parser7_1.8-3_i386.deb 3877042022-Oct-29 21:23
libcvc4parser7_1.8-3_mips64el.deb 3031362022-Oct-30 01:59
libcvc4parser7_1.8-3_mipsel.deb 3106002022-Oct-29 22:12
libcvc4parser7_1.8-3_ppc64el.deb 3561002022-Oct-29 21:42
libcvc4parser7_1.8-3_s390x.deb 3231242022-Oct-29 21:39