Index of /pool/universe/c/cvc4

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]cvc4_1.5-1.debian.tar.xz2017-11-01 13:57 5.9K
[   ]cvc4_1.5-1.dsc2017-11-01 13:57 2.2K
[   ]cvc4_1.5-1buil1build1.debian.tar.xz2018-07-17 15:38 6.0K
[   ]cvc4_1.5-1buil1build1.dsc2018-07-17 15:38 2.2K
[   ]cvc4_1.5.orig.tar.gz2017-11-01 13:57 7.6M
[   ]cvc4_1.6-2build1.debian.tar.xz2019-01-14 21:10 8.1K
[   ]cvc4_1.6-2build1.dsc2019-01-14 21:10 2.6K
[   ]cvc4_1.6.orig.tar.gz2018-08-12 05:13 7.5M

Apache/2.4.18 (Ubuntu) Server at ports.ubuntu.com Port 80