Index of /ubuntu/pool/multiverse/c/cvc4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]cvc4_1.8-2.dsc2023-10-11 22:58 2.2K 
[TXT]cvc4_1.8-3build2.dsc2024-05-09 06:25 2.3K 
[ ]cvc4_1.8-2.debian.tar.xz2023-10-11 22:58 16K 
[ ]cvc4_1.8-3build2.debian.tar.xz2024-05-09 06:25 16K 
[ ]cvc4_1.8-2_amd64.deb2023-10-11 23:15 72K 
[ ]cvc4_1.8-3build2_amd64.deb2024-05-09 07:33 74K 
[ ]libcvc4-dev_1.8-2_amd64.deb2023-10-11 22:16 120K 
[ ]libcvc4-dev_1.8-3build2_amd64.deb2024-05-09 07:53 122K 
[ ]libcvc4parser7_1.8-2_amd64.deb2023-10-11 23:38 349K 
[ ]libcvc4parser7_1.8-3build2_amd64.deb2024-05-09 08:31 365K 
[ ]libcvc4-7_1.8-3build2_amd64.deb2024-05-09 06:21 4.5M 
[ ]libcvc4-7_1.8-2_amd64.deb2023-10-11 22:15 5.4M 
[ ]cvc4_1.8.orig.tar.gz2023-10-11 22:58 7.2M 
Apache Server at pkgs.geos.ed.ac.uk Port 443