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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]cvc4_1.8-2_amd64.deb2020-09-18 02:11 80K
[ ]cvc4_1.8-2_arm64.deb2020-09-18 02:27 74K
[ ]cvc4_1.8-3+b4_amd64.deb2025-04-07 16:25 81K
[ ]cvc4_1.8-3+b4_arm64.deb2025-04-08 01:42 75K
[ ]cvc4_1.8-3_amd64.deb2022-10-29 21:29 79K
[ ]cvc4_1.8-3_arm64.deb2022-10-29 21:47 74K
[ ]cvc4_1.8-5_amd64.deb2025-10-27 09:59 79K
[ ]cvc4_1.8-5_arm64.deb2025-10-27 09:59 73K
[ ]libcvc4-7_1.8-2_amd64.deb2020-09-18 02:11 5.4M
[ ]libcvc4-7_1.8-2_arm64.deb2020-09-18 02:27 4.6M
[ ]libcvc4-7_1.8-3+b4_amd64.deb2025-04-07 16:25 6.3M
[ ]libcvc4-7_1.8-3+b4_arm64.deb2025-04-08 01:42 5.4M
[ ]libcvc4-7_1.8-3_amd64.deb2022-10-29 21:29 5.7M
[ ]libcvc4-7_1.8-3_arm64.deb2022-10-29 21:47 4.8M
[ ]libcvc4-7_1.8-5_amd64.deb2025-10-27 09:59 6.2M
[ ]libcvc4-7_1.8-5_arm64.deb2025-10-27 09:59 5.3M
[ ]libcvc4-dev_1.8-2_amd64.deb2020-09-18 02:11 128K
[ ]libcvc4-dev_1.8-2_arm64.deb2020-09-18 02:27 128K
[ ]libcvc4-dev_1.8-3+b4_amd64.deb2025-04-07 16:25 128K
[ ]libcvc4-dev_1.8-3+b4_arm64.deb2025-04-08 01:42 128K
[ ]libcvc4-dev_1.8-3_amd64.deb2022-10-29 21:29 128K
[ ]libcvc4-dev_1.8-3_arm64.deb2022-10-29 21:47 128K
[ ]libcvc4-dev_1.8-5_amd64.deb2025-10-27 09:59 128K
[ ]libcvc4-dev_1.8-5_arm64.deb2025-10-27 09:59 128K
[ ]libcvc4parser7_1.8-2_amd64.deb2020-09-18 02:11 358K
[ ]libcvc4parser7_1.8-2_arm64.deb2020-09-18 02:27 321K
[ ]libcvc4parser7_1.8-3+b4_amd64.deb2025-04-07 16:25 373K
[ ]libcvc4parser7_1.8-3+b4_arm64.deb2025-04-08 01:42 326K
[ ]libcvc4parser7_1.8-3_amd64.deb2022-10-29 21:29 354K
[ ]libcvc4parser7_1.8-3_arm64.deb2022-10-29 21:47 315K
[ ]libcvc4parser7_1.8-5_amd64.deb2025-10-27 09:59 376K
[ ]libcvc4parser7_1.8-5_arm64.deb2025-10-27 09:59 331K