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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.8-5+b1_riscv64.deb 764082026-May-17 04:23
libcvc4parser7_1.8-5+b1_riscv64.deb 3773602026-May-17 04:23
libcvc4-7_1.8-5+b1_riscv64.deb 64360322026-May-17 04:23
libcvc4-dev_1.8-5+b1_riscv64.deb 1310082026-May-17 04:23
libcvc4-7_1.8-5+b1_loong64.deb 58718042026-Apr-24 08:00
libcvc4parser7_1.8-5+b1_loong64.deb 3595602026-Apr-24 08:00
libcvc4-dev_1.8-5+b1_loong64.deb 1310362026-Apr-24 08:00
cvc4_1.8-5+b1_loong64.deb 764282026-Apr-24 08:00
libcvc4-7_1.8-5+b1_s390x.deb 64122682026-Apr-24 02:35
libcvc4-dev_1.8-5+b1_s390x.deb 1310162026-Apr-24 02:35
libcvc4parser7_1.8-5+b1_s390x.deb 4015722026-Apr-24 02:35
cvc4_1.8-5+b1_s390x.deb 778762026-Apr-24 02:35
libcvc4-7_1.8-5+b1_i386.deb 69310042026-Apr-24 00:51
cvc4_1.8-5+b1_i386.deb 825162026-Apr-24 00:51
libcvc4parser7_1.8-5+b1_i386.deb 4128122026-Apr-24 00:51
libcvc4-dev_1.8-5+b1_i386.deb 1310242026-Apr-24 00:51
cvc4_1.8-5+b1_ppc64el.deb 788682026-Apr-24 00:35
libcvc4-dev_1.8-5+b1_ppc64el.deb 1310322026-Apr-24 00:35
libcvc4parser7_1.8-5+b1_ppc64el.deb 3734002026-Apr-24 00:35
libcvc4-7_1.8-5+b1_ppc64el.deb 61324522026-Apr-24 00:35
libcvc4-dev_1.8-5+b1_amd64.deb 1310802026-Apr-24 00:35
libcvc4parser7_1.8-5+b1_amd64.deb 3847362026-Apr-24 00:35
cvc4_1.8-5+b1_amd64.deb 803522026-Apr-24 00:35
libcvc4-7_1.8-5+b1_amd64.deb 64982002026-Apr-24 00:35
libcvc4parser7_1.8-5+b1_armhf.deb 3505242026-Apr-23 23:06
libcvc4-dev_1.8-5+b1_armhf.deb 1310362026-Apr-23 23:06
libcvc4-7_1.8-5+b1_armhf.deb 55716522026-Apr-23 23:06
cvc4_1.8-5+b1_armhf.deb 748522026-Apr-23 23:06
libcvc4-dev_1.8-5+b1_arm64.deb 1310482026-Apr-23 22:45
libcvc4parser7_1.8-5+b1_arm64.deb 3385802026-Apr-23 22:45
libcvc4-7_1.8-5+b1_arm64.deb 55499642026-Apr-23 22:45
cvc4_1.8-5+b1_arm64.deb 743482026-Apr-23 22:45
cvc4_1.8-5.debian.tar.xz 176082025-Oct-27 18:28
cvc4_1.8-5.dsc 18612025-Oct-27 18:28
cvc4_1.8-3+b4_riscv64.deb 792482025-Apr-10 12:49
libcvc4-dev_1.8-3+b4_riscv64.deb 1314482025-Apr-10 12:49
libcvc4-7_1.8-3+b4_riscv64.deb 65487202025-Apr-10 12:49
libcvc4parser7_1.8-3+b4_riscv64.deb 3714282025-Apr-10 12:49
libcvc4-dev_1.8-3+b4_arm64.deb 1314162025-Apr-08 10:42
libcvc4parser7_1.8-3+b4_arm64.deb 3335882025-Apr-08 10:42
cvc4_1.8-3+b4_arm64.deb 766522025-Apr-08 10:42
libcvc4-7_1.8-3+b4_arm64.deb 56562442025-Apr-08 10:42
libcvc4-7_1.8-3+b4_armel.deb 55243162025-Apr-08 10:21
cvc4_1.8-3+b4_armel.deb 755242025-Apr-08 10:21
libcvc4parser7_1.8-3+b4_armel.deb 3349082025-Apr-08 10:21
libcvc4-dev_1.8-3+b4_armel.deb 1314202025-Apr-08 10:21
libcvc4-7_1.8-3+b4_s390x.deb 67156402025-Apr-08 02:44
libcvc4-dev_1.8-3+b4_s390x.deb 1314082025-Apr-08 02:44
libcvc4parser7_1.8-3+b4_s390x.deb 3987522025-Apr-08 02:44
cvc4_1.8-3+b4_s390x.deb 797682025-Apr-08 02:44
libcvc4parser7_1.8-3+b4_armhf.deb 3466682025-Apr-08 02:16
libcvc4-dev_1.8-3+b4_armhf.deb 1313962025-Apr-08 02:16
cvc4_1.8-3+b4_armhf.deb 772042025-Apr-08 02:16
libcvc4-7_1.8-3+b4_armhf.deb 55801682025-Apr-08 02:16
libcvc4-dev_1.8-3+b4_i386.deb 1314082025-Apr-08 01:36
libcvc4parser7_1.8-3+b4_i386.deb 4119842025-Apr-08 01:36
cvc4_1.8-3+b4_i386.deb 850282025-Apr-08 01:36
libcvc4-7_1.8-3+b4_i386.deb 71761922025-Apr-08 01:36
cvc4_1.8-3+b4_ppc64el.deb 808002025-Apr-08 01:30
libcvc4-7_1.8-3+b4_ppc64el.deb 61763322025-Apr-08 01:30
libcvc4parser7_1.8-3+b4_ppc64el.deb 3647082025-Apr-08 01:30
libcvc4-dev_1.8-3+b4_ppc64el.deb 1313962025-Apr-08 01:30
libcvc4-dev_1.8-3+b4_amd64.deb 1314282025-Apr-08 01:25
libcvc4parser7_1.8-3+b4_amd64.deb 3822002025-Apr-08 01:25
libcvc4-7_1.8-3+b4_amd64.deb 66161602025-Apr-08 01:25
cvc4_1.8-3+b4_amd64.deb 828282025-Apr-08 01:25
libcvc4parser7_1.8-3_mips64el.deb 3031362022-Oct-30 10:59
libcvc4-dev_1.8-3_mips64el.deb 1311242022-Oct-30 10:59
cvc4_1.8-3_mips64el.deb 739042022-Oct-30 10:59
libcvc4-7_1.8-3_mips64el.deb 44416842022-Oct-30 10:59
libcvc4-dev_1.8-3_mipsel.deb 1311122022-Oct-30 07:12
cvc4_1.8-3_mipsel.deb 740962022-Oct-30 07:12
libcvc4-7_1.8-3_mipsel.deb 45711482022-Oct-30 07:12
libcvc4parser7_1.8-3_mipsel.deb 3106002022-Oct-30 07:12
libcvc4-dev_1.8-3_armel.deb 1311042022-Oct-30 06:57
libcvc4parser7_1.8-3_armel.deb 3173042022-Oct-30 06:57
cvc4_1.8-3_armel.deb 741282022-Oct-30 06:57
libcvc4-7_1.8-3_armel.deb 52259882022-Oct-30 06:57
libcvc4parser7_1.8-3_armhf.deb 3296522022-Oct-30 06:47
cvc4_1.8-3_armhf.deb 751082022-Oct-30 06:47
libcvc4-7_1.8-3_armhf.deb 52990802022-Oct-30 06:47
libcvc4-dev_1.8-3_armhf.deb 1311162022-Oct-30 06:47
cvc4_1.8-3_arm64.deb 755642022-Oct-30 06:47
libcvc4-7_1.8-3_arm64.deb 49974682022-Oct-30 06:47
libcvc4parser7_1.8-3_arm64.deb 3226682022-Oct-30 06:47
libcvc4-dev_1.8-3_arm64.deb 1311202022-Oct-30 06:47
libcvc4-7_1.8-3_ppc64el.deb 56520442022-Oct-30 06:42
libcvc4parser7_1.8-3_ppc64el.deb 3561002022-Oct-30 06:42
libcvc4-dev_1.8-3_ppc64el.deb 1311202022-Oct-30 06:42
cvc4_1.8-3_ppc64el.deb 804042022-Oct-30 06:42
libcvc4-dev_1.8-3_s390x.deb 1311122022-Oct-30 06:39
libcvc4-7_1.8-3_s390x.deb 53273562022-Oct-30 06:39
libcvc4parser7_1.8-3_s390x.deb 3231242022-Oct-30 06:39
cvc4_1.8-3_s390x.deb 757682022-Oct-30 06:39
cvc4_1.8-3_amd64.deb 806882022-Oct-30 06:29
libcvc4-7_1.8-3_amd64.deb 59367922022-Oct-30 06:29
libcvc4parser7_1.8-3_amd64.deb 3623042022-Oct-30 06:29
libcvc4-dev_1.8-3_amd64.deb 1311122022-Oct-30 06:29
cvc4_1.8-3_i386.deb 826522022-Oct-30 06:23
libcvc4-7_1.8-3_i386.deb 67007042022-Oct-30 06:23
libcvc4parser7_1.8-3_i386.deb 3877042022-Oct-30 06:23
libcvc4-dev_1.8-3_i386.deb 1311122022-Oct-30 06:23
cvc4_1.8-3.debian.tar.xz 167282022-Oct-30 04:57
cvc4_1.8-3.dsc 22442022-Oct-30 04:57
libcvc4parser7_1.8-2_i386.deb 3824842020-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
cvc4_1.8-2_i386.deb 825482020-Sep-18 11:42
libcvc4parser7_1.8-2_armhf.deb 3281402020-Sep-18 11:32
libcvc4-7_1.8-2_armhf.deb 49897282020-Sep-18 11:32
libcvc4-dev_1.8-2_armhf.deb 1312562020-Sep-18 11:32
cvc4_1.8-2_armhf.deb 756522020-Sep-18 11:32
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_arm64.deb 760642020-Sep-18 11:27
libcvc4parser7_1.8-2_amd64.deb 3662122020-Sep-18 11:11
libcvc4-7_1.8-2_amd64.deb 56517162020-Sep-18 11:11
libcvc4-dev_1.8-2_amd64.deb 1312642020-Sep-18 11:11
cvc4_1.8-2_amd64.deb 814882020-Sep-18 11:11
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.orig.tar.gz 75471872020-Sep-14 08:17