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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]cvc4_1.8-5_arm64.deb2025-10-28 06:36 65K
[ ]libcvc4-7_1.8-5_arm64.deb2025-10-28 06:36 4.3M
[ ]libcvc4-dev_1.8-5_arm64.deb2025-10-28 06:36 122K
[ ]libcvc4parser7_1.8-5_arm64.deb2025-10-28 06:36 359K
Apache/2.4.66 (Ubuntu) Server at repo.empctrl.com Port 80