Index of /pool/main/c/cvc4

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]cvc4_1.6-2+b1_amd64.deb2024-08-07 17:55 133K
[ ]cvc4_1.6-2+b1_i386.deb2024-08-07 17:55 136K
[ ]cvc4_1.6-2.debian.tar.xz2024-08-07 17:55 8.0K
[TXT]cvc4_1.6-2.dsc2024-08-07 17:55 2.6K
[ ]cvc4_1.6.orig.tar.gz2024-08-07 17:55 7.5M
[ ]cvc4_1.8-2.debian.tar.xz2024-08-07 17:55 16K
[TXT]cvc4_1.8-2.dsc2024-08-07 17:55 2.2K
[ ]cvc4_1.8-2_amd64.deb2024-08-07 17:55 80K
[ ]cvc4_1.8-2_arm64.deb2024-08-07 17:55 74K
[ ]cvc4_1.8-2_i386.deb2024-08-07 17:55 81K
[ ]cvc4_1.8-3+b4_amd64.deb2025-04-08 00:01 81K
[ ]cvc4_1.8-3+b4_arm64.deb2025-04-08 12:01 75K
[ ]cvc4_1.8-3+b4_i386.deb2025-04-08 00:01 83K
[ ]cvc4_1.8-3.debian.tar.xz2024-08-07 17:55 16K
[TXT]cvc4_1.8-3.dsc2024-08-07 17:55 2.2K
[ ]cvc4_1.8-3_amd64.deb2024-08-07 17:55 79K
[ ]cvc4_1.8-3_arm64.deb2024-08-07 17:55 74K
[ ]cvc4_1.8-3_i386.deb2024-08-07 17:55 81K
[ ]cvc4_1.8.orig.tar.gz2024-08-07 17:55 7.2M
[ ]libcvc4-5_1.6-2+b1_amd64.deb2024-08-07 17:55 3.9M
[ ]libcvc4-5_1.6-2+b1_i386.deb2024-08-07 17:55 4.3M
[ ]libcvc4-7_1.8-2_amd64.deb2024-08-07 17:55 5.4M
[ ]libcvc4-7_1.8-2_arm64.deb2024-08-07 17:55 4.6M
[ ]libcvc4-7_1.8-2_i386.deb2024-08-07 17:55 5.9M
[ ]libcvc4-7_1.8-3+b4_amd64.deb2025-04-08 00:01 6.3M
[ ]libcvc4-7_1.8-3+b4_arm64.deb2025-04-08 12:01 5.4M
[ ]libcvc4-7_1.8-3+b4_i386.deb2025-04-08 00:01 6.8M
[ ]libcvc4-7_1.8-3_amd64.deb2024-08-07 17:55 5.7M
[ ]libcvc4-7_1.8-3_arm64.deb2024-08-07 17:55 4.8M
[ ]libcvc4-7_1.8-3_i386.deb2024-08-07 17:55 6.4M
[ ]libcvc4-dev_1.6-2+b1_amd64.deb2024-08-07 17:55 6.4M
[ ]libcvc4-dev_1.6-2+b1_i386.deb2024-08-07 17:55 6.9M
[ ]libcvc4-dev_1.8-2_amd64.deb2024-08-07 17:55 128K
[ ]libcvc4-dev_1.8-2_arm64.deb2024-08-07 17:55 128K
[ ]libcvc4-dev_1.8-2_i386.deb2024-08-07 17:55 128K
[ ]libcvc4-dev_1.8-3+b4_amd64.deb2025-04-08 00:01 128K
[ ]libcvc4-dev_1.8-3+b4_arm64.deb2025-04-08 12:01 128K
[ ]libcvc4-dev_1.8-3+b4_i386.deb2025-04-08 00:01 128K
[ ]libcvc4-dev_1.8-3_amd64.deb2024-08-07 17:55 128K
[ ]libcvc4-dev_1.8-3_arm64.deb2024-08-07 17:55 128K
[ ]libcvc4-dev_1.8-3_i386.deb2024-08-07 17:55 128K
[ ]libcvc4parser5_1.6-2+b1_amd64.deb2024-08-07 17:55 354K
[ ]libcvc4parser5_1.6-2+b1_i386.deb2024-08-07 17:55 380K
[ ]libcvc4parser7_1.8-2_amd64.deb2024-08-07 17:55 358K
[ ]libcvc4parser7_1.8-2_arm64.deb2024-08-07 17:55 321K
[ ]libcvc4parser7_1.8-2_i386.deb2024-08-07 17:55 374K
[ ]libcvc4parser7_1.8-3+b4_amd64.deb2025-04-08 00:01 373K
[ ]libcvc4parser7_1.8-3+b4_arm64.deb2025-04-08 12:01 326K
[ ]libcvc4parser7_1.8-3+b4_i386.deb2025-04-08 00:01 402K
[ ]libcvc4parser7_1.8-3_amd64.deb2024-08-07 17:55 354K
[ ]libcvc4parser7_1.8-3_arm64.deb2024-08-07 17:55 315K
[ ]libcvc4parser7_1.8-3_i386.deb2024-08-07 17:55 379K