Index of /ubuntu/pool/universe/c/cvc4

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]cvc4_1.8-5_amd64.deb2025-10-28 00:16 69K
[ ]libcvc4-7_1.8-5_amd64.deb2025-10-28 00:16 4.7M
[ ]libcvc4-dev_1.8-5_amd64.deb2025-10-28 00:16 122K
[ ]libcvc4parser7_1.8-5_amd64.deb2025-10-28 00:16 375K
Apache/2.4.66 (Ubuntu) Server at repo.empctrl.com Port 80