Index of /ftp/software/unix/linux/debian/pool/main/c/cvc4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]cvc4_1.8-2.debian.ta..>2020-09-18 03:25 16K 
[TXT]cvc4_1.8-2.dsc 2020-09-18 03:25 2.2K 
[ ]cvc4_1.8-2_amd64.deb 2020-09-18 04:11 80K 
[ ]cvc4_1.8-2_i386.deb 2020-09-18 04:42 81K 
[ ]cvc4_1.8-3+b4_amd64.deb2025-04-07 18:25 81K 
[ ]cvc4_1.8-3+b4_i386.deb 2025-04-07 18:36 83K 
[ ]cvc4_1.8-3+b4_ppc64e..>2025-04-07 18:30 79K 
[ ]cvc4_1.8-3+b4_riscv6..>2025-04-10 05:49 77K 
[ ]cvc4_1.8-3.debian.ta..>2022-10-29 21:57 16K 
[TXT]cvc4_1.8-3.dsc 2022-10-29 21:57 2.2K 
[ ]cvc4_1.8-3_amd64.deb 2022-10-29 23:29 79K 
[ ]cvc4_1.8-3_i386.deb 2022-10-29 23:23 81K 
[ ]cvc4_1.8-3_ppc64el.deb 2022-10-29 23:42 79K 
[ ]cvc4_1.8-4.debian.ta..>2025-07-27 16:17 17K 
[TXT]cvc4_1.8-4.dsc 2025-07-27 16:17 2.2K 
[ ]cvc4_1.8-4_amd64.deb 2025-08-11 18:09 80K 
[ ]cvc4_1.8-4_i386.deb 2025-08-11 18:04 83K 
[ ]cvc4_1.8-4_ppc64el.deb 2025-08-11 18:04 78K 
[ ]cvc4_1.8.orig.tar.gz 2020-09-14 01:17 7.2M 
[ ]libcvc4-7_1.8-2_amd6..>2020-09-18 04:11 5.4M 
[ ]libcvc4-7_1.8-2_i386..>2020-09-18 04:42 5.9M 
[ ]libcvc4-7_1.8-3+b4_a..>2025-04-07 18:25 6.3M 
[ ]libcvc4-7_1.8-3+b4_i..>2025-04-07 18:36 6.8M 
[ ]libcvc4-7_1.8-3+b4_p..>2025-04-07 18:30 5.9M 
[ ]libcvc4-7_1.8-3+b4_r..>2025-04-10 05:49 6.2M 
[ ]libcvc4-7_1.8-3_amd6..>2022-10-29 23:29 5.7M 
[ ]libcvc4-7_1.8-3_i386..>2022-10-29 23:23 6.4M 
[ ]libcvc4-7_1.8-3_ppc6..>2022-10-29 23:42 5.4M 
[ ]libcvc4-7_1.8-4_amd6..>2025-08-11 18:09 6.2M 
[ ]libcvc4-7_1.8-4_i386..>2025-08-11 18:04 6.8M 
[ ]libcvc4-7_1.8-4_ppc6..>2025-08-11 18:04 5.8M 
[ ]libcvc4-dev_1.8-2_am..>2020-09-18 04:11 128K 
[ ]libcvc4-dev_1.8-2_i3..>2020-09-18 04:42 128K 
[ ]libcvc4-dev_1.8-3+b4..>2025-04-07 18:25 128K 
[ ]libcvc4-dev_1.8-3+b4..>2025-04-07 18:36 128K 
[ ]libcvc4-dev_1.8-3+b4..>2025-04-07 18:30 128K 
[ ]libcvc4-dev_1.8-3+b4..>2025-04-10 05:49 128K 
[ ]libcvc4-dev_1.8-3_am..>2022-10-29 23:29 128K 
[ ]libcvc4-dev_1.8-3_i3..>2022-10-29 23:23 128K 
[ ]libcvc4-dev_1.8-3_pp..>2022-10-29 23:42 128K 
[ ]libcvc4-dev_1.8-4_am..>2025-08-11 18:09 128K 
[ ]libcvc4-dev_1.8-4_i3..>2025-08-11 18:04 128K 
[ ]libcvc4-dev_1.8-4_pp..>2025-08-11 18:04 128K 
[ ]libcvc4parser7_1.8-2..>2020-09-18 04:11 358K 
[ ]libcvc4parser7_1.8-2..>2020-09-18 04:42 374K 
[ ]libcvc4parser7_1.8-3..>2025-04-07 18:25 373K 
[ ]libcvc4parser7_1.8-3..>2025-04-07 18:36 402K 
[ ]libcvc4parser7_1.8-3..>2025-04-07 18:30 356K 
[ ]libcvc4parser7_1.8-3..>2025-04-10 05:49 363K 
[ ]libcvc4parser7_1.8-3..>2022-10-29 23:29 354K 
[ ]libcvc4parser7_1.8-3..>2022-10-29 23:23 379K 
[ ]libcvc4parser7_1.8-3..>2022-10-29 23:42 348K 
[ ]libcvc4parser7_1.8-4..>2025-08-11 18:09 373K 
[ ]libcvc4parser7_1.8-4..>2025-08-11 18:04 402K 
[ ]libcvc4parser7_1.8-4..>2025-08-11 18:04 357K