Index of /ubuntu/pool/universe/c/cvc4
Name Last modified Size Description
Parent Directory -
cvc4_1.5.orig.tar.gz 01-Nov-2017 09:57 7.6M
cvc4_1.6.orig.tar.gz 12-Aug-2018 01:13 7.5M
libcvc4-dev_1.6-2build1_i386.deb 14-Jan-2019 17:53 6.9M
libcvc4-dev_1.6-2build1_amd64.deb 14-Jan-2019 17:00 6.4M
libcvc4-dev_1.5-1buil1build1_i386.deb 17-Jul-2018 12:58 6.3M
libcvc4-dev_1.5-1_i386.deb 03-Nov-2017 02:59 6.1M
libcvc4-dev_1.5-1buil1build1_amd64.deb 17-Jul-2018 12:43 5.9M
libcvc4-dev_1.5-1_amd64.deb 03-Nov-2017 02:57 5.7M
libcvc4-5_1.6-2build1_i386.deb 14-Jan-2019 17:53 4.3M
libcvc4-5_1.6-2build1_amd64.deb 14-Jan-2019 17:00 3.9M
libcvc4-4_1.5-1buil1build1_i386.deb 17-Jul-2018 12:58 3.6M
libcvc4-4_1.5-1_i386.deb 03-Nov-2017 02:59 3.5M
libcvc4-4_1.5-1buil1build1_amd64.deb 17-Jul-2018 12:43 3.3M
libcvc4-4_1.5-1_amd64.deb 03-Nov-2017 02:57 3.2M
libcvc4parser4_1.5-1buil1build1_i386.deb 17-Jul-2018 12:58 383K
libcvc4parser4_1.5-1_i386.deb 03-Nov-2017 02:59 381K
libcvc4parser5_1.6-2build1_i386.deb 14-Jan-2019 17:53 376K
libcvc4parser4_1.5-1_amd64.deb 03-Nov-2017 02:57 355K
libcvc4parser4_1.5-1buil1build1_amd64.deb 17-Jul-2018 12:43 354K
libcvc4parser5_1.6-2build1_amd64.deb 14-Jan-2019 17:00 349K
cvc4_1.5-1_i386.deb 03-Nov-2017 02:59 139K
cvc4_1.5-1_amd64.deb 03-Nov-2017 02:57 135K
cvc4_1.5-1buil1build1_i386.deb 17-Jul-2018 12:58 134K
cvc4_1.6-2build1_i386.deb 14-Jan-2019 17:53 134K
cvc4_1.5-1buil1build1_amd64.deb 17-Jul-2018 12:43 131K
cvc4_1.6-2build1_amd64.deb 14-Jan-2019 17:00 131K
cvc4_1.6-2build1.debian.tar.xz 14-Jan-2019 16:10 8.1K
cvc4_1.5-1buil1build1.debian.tar.xz 17-Jul-2018 11:38 6.0K
cvc4_1.5-1.debian.tar.xz 01-Nov-2017 09:57 5.9K
cvc4_1.6-2build1.dsc 14-Jan-2019 16:10 2.6K
cvc4_1.5-1buil1build1.dsc 17-Jul-2018 11:38 2.2K
cvc4_1.5-1.dsc 01-Nov-2017 09:57 2.2K
Apache Server at 209.208.0.134 Port 80