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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cvc4_1.8-2.debian.tar.xz2020-09-18 06:55 16K 
[TXT]cvc4_1.8-2.dsc2020-09-18 06:55 2.2K 
[ ]cvc4_1.8-2_amd64.deb2020-09-18 07:41 80K 
[ ]cvc4_1.8-2_arm64.deb2020-09-18 07:57 74K 
[ ]cvc4_1.8-2_armhf.deb2020-09-18 08:02 74K 
[ ]cvc4_1.8-2_i386.deb2020-09-18 08:12 81K 
[ ]cvc4_1.8-3+b4_amd64.deb2025-04-07 21:55 81K 
[ ]cvc4_1.8-3+b4_arm64.deb2025-04-08 07:12 75K 
[ ]cvc4_1.8-3+b4_armel.deb2025-04-08 06:51 74K 
[ ]cvc4_1.8-3+b4_armhf.deb2025-04-07 22:46 75K 
[ ]cvc4_1.8-3+b4_i386.deb2025-04-07 22:06 83K 
[ ]cvc4_1.8-3+b4_ppc64el.deb2025-04-07 22:00 79K 
[ ]cvc4_1.8-3+b4_riscv64.deb2025-04-10 09:19 77K 
[ ]cvc4_1.8-3+b4_s390x.deb2025-04-07 23:14 78K 
[ ]cvc4_1.8-3.debian.tar.xz2022-10-30 01:27 16K 
[TXT]cvc4_1.8-3.dsc2022-10-30 01:27 2.2K 
[ ]cvc4_1.8-3_amd64.deb2022-10-30 02:59 79K 
[ ]cvc4_1.8-3_arm64.deb2022-10-30 03:17 74K 
[ ]cvc4_1.8-3_armel.deb2022-10-30 03:27 72K 
[ ]cvc4_1.8-3_armhf.deb2022-10-30 03:17 73K 
[ ]cvc4_1.8-3_i386.deb2022-10-30 02:53 81K 
[ ]cvc4_1.8-3_mips64el.deb2022-10-30 07:29 72K 
[ ]cvc4_1.8-3_mipsel.deb2022-10-30 03:42 72K 
[ ]cvc4_1.8-3_ppc64el.deb2022-10-30 03:12 79K 
[ ]cvc4_1.8-3_s390x.deb2022-10-30 03:09 74K 
[ ]cvc4_1.8-4.debian.tar.xz2025-07-27 19:47 17K 
[TXT]cvc4_1.8-4.dsc2025-07-27 19:47 2.2K 
[ ]cvc4_1.8-4_amd64.deb2025-08-11 21:39 80K 
[ ]cvc4_1.8-4_arm64.deb2025-08-11 21:49 74K 
[ ]cvc4_1.8-4_armel.deb2025-08-11 22:05 74K 
[ ]cvc4_1.8-4_armhf.deb2025-08-11 21:39 75K 
[ ]cvc4_1.8-4_i386.deb2025-08-11 21:34 83K 
[ ]cvc4_1.8-4_mips64el.deb2025-08-12 10:37 76K 
[ ]cvc4_1.8-4_ppc64el.deb2025-08-11 21:34 78K 
[ ]cvc4_1.8-4_riscv64.deb2025-08-13 05:34 77K 
[ ]cvc4_1.8-4_s390x.deb2025-08-12 00:19 78K 
[ ]cvc4_1.8.orig.tar.gz2020-09-14 04:47 7.2M 
[ ]libcvc4-7_1.8-2_amd64.deb2020-09-18 07:41 5.4M 
[ ]libcvc4-7_1.8-2_arm64.deb2020-09-18 07:57 4.6M 
[ ]libcvc4-7_1.8-2_armhf.deb2020-09-18 08:02 4.8M 
[ ]libcvc4-7_1.8-2_i386.deb2020-09-18 08:12 5.9M 
[ ]libcvc4-7_1.8-3+b4_amd64.deb2025-04-07 21:55 6.3M 
[ ]libcvc4-7_1.8-3+b4_arm64.deb2025-04-08 07:12 5.4M 
[ ]libcvc4-7_1.8-3+b4_armel.deb2025-04-08 06:51 5.3M 
[ ]libcvc4-7_1.8-3+b4_armhf.deb2025-04-07 22:46 5.3M 
[ ]libcvc4-7_1.8-3+b4_i386.deb2025-04-07 22:06 6.8M 
[ ]libcvc4-7_1.8-3+b4_ppc64el.deb2025-04-07 22:00 5.9M 
[ ]libcvc4-7_1.8-3+b4_riscv64.deb2025-04-10 09:19 6.2M 
[ ]libcvc4-7_1.8-3+b4_s390x.deb2025-04-07 23:14 6.4M 
[ ]libcvc4-7_1.8-3_amd64.deb2022-10-30 02:59 5.7M 
[ ]libcvc4-7_1.8-3_arm64.deb2022-10-30 03:17 4.8M 
[ ]libcvc4-7_1.8-3_armel.deb2022-10-30 03:27 5.0M 
[ ]libcvc4-7_1.8-3_armhf.deb2022-10-30 03:17 5.1M 
[ ]libcvc4-7_1.8-3_i386.deb2022-10-30 02:53 6.4M 
[ ]libcvc4-7_1.8-3_mips64el.deb2022-10-30 07:29 4.2M 
[ ]libcvc4-7_1.8-3_mipsel.deb2022-10-30 03:42 4.4M 
[ ]libcvc4-7_1.8-3_ppc64el.deb2022-10-30 03:12 5.4M 
[ ]libcvc4-7_1.8-3_s390x.deb2022-10-30 03:09 5.1M 
[ ]libcvc4-7_1.8-4_amd64.deb2025-08-11 21:39 6.2M 
[ ]libcvc4-7_1.8-4_arm64.deb2025-08-11 21:49 5.3M 
[ ]libcvc4-7_1.8-4_armel.deb2025-08-11 22:05 5.2M 
[ ]libcvc4-7_1.8-4_armhf.deb2025-08-11 21:39 5.3M 
[ ]libcvc4-7_1.8-4_i386.deb2025-08-11 21:34 6.8M 
[ ]libcvc4-7_1.8-4_mips64el.deb2025-08-12 10:37 4.7M 
[ ]libcvc4-7_1.8-4_ppc64el.deb2025-08-11 21:34 5.8M 
[ ]libcvc4-7_1.8-4_riscv64.deb2025-08-13 05:35 6.2M 
[ ]libcvc4-7_1.8-4_s390x.deb2025-08-12 00:19 6.4M 
[ ]libcvc4-dev_1.8-2_amd64.deb2020-09-18 07:41 128K 
[ ]libcvc4-dev_1.8-2_arm64.deb2020-09-18 07:57 128K 
[ ]libcvc4-dev_1.8-2_armhf.deb2020-09-18 08:02 128K 
[ ]libcvc4-dev_1.8-2_i386.deb2020-09-18 08:12 128K 
[ ]libcvc4-dev_1.8-3+b4_amd64.deb2025-04-07 21:55 128K 
[ ]libcvc4-dev_1.8-3+b4_arm64.deb2025-04-08 07:12 128K 
[ ]libcvc4-dev_1.8-3+b4_armel.deb2025-04-08 06:51 128K 
[ ]libcvc4-dev_1.8-3+b4_armhf.deb2025-04-07 22:46 128K 
[ ]libcvc4-dev_1.8-3+b4_i386.deb2025-04-07 22:06 128K 
[ ]libcvc4-dev_1.8-3+b4_ppc64el.deb2025-04-07 22:00 128K 
[ ]libcvc4-dev_1.8-3+b4_riscv64.deb2025-04-10 09:19 128K 
[ ]libcvc4-dev_1.8-3+b4_s390x.deb2025-04-07 23:14 128K 
[ ]libcvc4-dev_1.8-3_amd64.deb2022-10-30 02:59 128K 
[ ]libcvc4-dev_1.8-3_arm64.deb2022-10-30 03:17 128K 
[ ]libcvc4-dev_1.8-3_armel.deb2022-10-30 03:27 128K 
[ ]libcvc4-dev_1.8-3_armhf.deb2022-10-30 03:17 128K 
[ ]libcvc4-dev_1.8-3_i386.deb2022-10-30 02:53 128K 
[ ]libcvc4-dev_1.8-3_mips64el.deb2022-10-30 07:29 128K 
[ ]libcvc4-dev_1.8-3_mipsel.deb2022-10-30 03:42 128K 
[ ]libcvc4-dev_1.8-3_ppc64el.deb2022-10-30 03:12 128K 
[ ]libcvc4-dev_1.8-3_s390x.deb2022-10-30 03:09 128K 
[ ]libcvc4-dev_1.8-4_amd64.deb2025-08-11 21:39 128K 
[ ]libcvc4-dev_1.8-4_arm64.deb2025-08-11 21:49 128K 
[ ]libcvc4-dev_1.8-4_armel.deb2025-08-11 22:05 128K 
[ ]libcvc4-dev_1.8-4_armhf.deb2025-08-11 21:39 128K 
[ ]libcvc4-dev_1.8-4_i386.deb2025-08-11 21:34 128K 
[ ]libcvc4-dev_1.8-4_mips64el.deb2025-08-12 10:37 128K 
[ ]libcvc4-dev_1.8-4_ppc64el.deb2025-08-11 21:34 128K 
[ ]libcvc4-dev_1.8-4_riscv64.deb2025-08-13 05:35 128K 
[ ]libcvc4-dev_1.8-4_s390x.deb2025-08-12 00:19 128K 
[ ]libcvc4parser7_1.8-2_amd64.deb2020-09-18 07:41 358K 
[ ]libcvc4parser7_1.8-2_arm64.deb2020-09-18 07:57 321K 
[ ]libcvc4parser7_1.8-2_armhf.deb2020-09-18 08:02 320K 
[ ]libcvc4parser7_1.8-2_i386.deb2020-09-18 08:12 374K 
[ ]libcvc4parser7_1.8-3+b4_amd64.deb2025-04-07 21:55 373K 
[ ]libcvc4parser7_1.8-3+b4_arm64.deb2025-04-08 07:12 326K 
[ ]libcvc4parser7_1.8-3+b4_armel.deb2025-04-08 06:51 327K 
[ ]libcvc4parser7_1.8-3+b4_armhf.deb2025-04-07 22:46 339K 
[ ]libcvc4parser7_1.8-3+b4_i386.deb2025-04-07 22:06 402K 
[ ]libcvc4parser7_1.8-3+b4_ppc64el.deb2025-04-07 22:00 356K 
[ ]libcvc4parser7_1.8-3+b4_riscv64.deb2025-04-10 09:19 363K 
[ ]libcvc4parser7_1.8-3+b4_s390x.deb2025-04-07 23:14 389K 
[ ]libcvc4parser7_1.8-3_amd64.deb2022-10-30 02:59 354K 
[ ]libcvc4parser7_1.8-3_arm64.deb2022-10-30 03:17 315K 
[ ]libcvc4parser7_1.8-3_armel.deb2022-10-30 03:27 310K 
[ ]libcvc4parser7_1.8-3_armhf.deb2022-10-30 03:17 322K 
[ ]libcvc4parser7_1.8-3_i386.deb2022-10-30 02:53 379K 
[ ]libcvc4parser7_1.8-3_mips64el.deb2022-10-30 07:29 296K 
[ ]libcvc4parser7_1.8-3_mipsel.deb2022-10-30 03:42 303K 
[ ]libcvc4parser7_1.8-3_ppc64el.deb2022-10-30 03:12 348K 
[ ]libcvc4parser7_1.8-3_s390x.deb2022-10-30 03:09 316K 
[ ]libcvc4parser7_1.8-4_amd64.deb2025-08-11 21:39 373K 
[ ]libcvc4parser7_1.8-4_arm64.deb2025-08-11 21:49 326K 
[ ]libcvc4parser7_1.8-4_armel.deb2025-08-11 22:05 325K 
[ ]libcvc4parser7_1.8-4_armhf.deb2025-08-11 21:39 336K 
[ ]libcvc4parser7_1.8-4_i386.deb2025-08-11 21:34 402K 
[ ]libcvc4parser7_1.8-4_mips64el.deb2025-08-12 10:37 309K 
[ ]libcvc4parser7_1.8-4_ppc64el.deb2025-08-11 21:34 357K 
[ ]libcvc4parser7_1.8-4_riscv64.deb2025-08-13 05:35 362K 
[ ]libcvc4parser7_1.8-4_s390x.deb2025-08-12 00:19 389K