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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]libcvc4parser7_1.8-3build2_amd64.deb2024-03-31 16:36 365K
[ ]libcvc4parser7_1.8-2_amd64.deb2020-09-30 12:28 349K
[ ]libcvc4-dev_1.8-3build2_amd64.deb2024-03-31 16:36 122K
[ ]libcvc4-dev_1.8-2_amd64.deb2020-09-30 12:28 120K
[ ]libcvc4-7_1.8-3build2_amd64.deb2024-03-31 16:36 4.5M
[ ]libcvc4-7_1.8-2_amd64.deb2020-09-30 12:28 5.4M
[ ]cvc4_1.8-3build2_amd64.deb2024-03-31 16:36 74K
[ ]cvc4_1.8-2_amd64.deb2020-09-30 12:28 72K