Directory listing of https://mirror.biznetgio.com/ubuntu/ubuntu/ubuntu/ubuntu/pool/universe/c/cvc4
mirror.biznetgio.com
/
ubuntu
/
ubuntu
/
ubuntu
/
ubuntu
/
pool
/
universe
/
c
/
cvc4
File
Size
Last Modified
..
-
2024-11-20 23:31:18
cvc4_1.5-1.debian.tar.xz
5.87KB
2017-11-01 13:57:17
cvc4_1.5-1.dsc
2.17KB
2017-11-01 13:57:10
cvc4_1.5-1_amd64.deb
135.38KB
2017-11-03 06:57:06
cvc4_1.5-1_i386.deb
139.46KB
2017-11-03 06:59:19
cvc4_1.5.orig.tar.gz
7.56MB
2017-11-01 13:57:10
cvc4_1.6-2build2.debian.tar.xz
8.20KB
2020-02-03 22:24:25
cvc4_1.6-2build2.dsc
2.69KB
2020-02-03 22:24:25
cvc4_1.6-2build2_amd64.deb
134.50KB
2020-02-03 23:45:00
cvc4_1.6.orig.tar.gz
7.45MB
2018-08-12 05:13:23
cvc4_1.8-2.debian.tar.xz
16.07KB
2020-09-30 15:43:40
cvc4_1.8-2.dsc
2.22KB
2020-09-30 15:43:39
cvc4_1.8-2_amd64.deb
71.62KB
2020-09-30 16:28:33
cvc4_1.8-3build2.debian.tar.xz
16.48KB
2024-03-31 18:36:43
cvc4_1.8-3build2.dsc
2.31KB
2024-03-31 18:36:43
cvc4_1.8-3build2_amd64.deb
73.62KB
2024-03-31 20:36:19
cvc4_1.8.orig.tar.gz
7.20MB
2020-09-30 15:43:39
libcvc4-4_1.5-1_amd64.deb
3.22MB
2017-11-03 06:57:06
libcvc4-4_1.5-1_i386.deb
3.45MB
2017-11-03 06:59:18
libcvc4-5_1.6-2build2_amd64.deb
4.30MB
2020-02-03 23:45:00
libcvc4-7_1.8-2_amd64.deb
5.40MB
2020-09-30 16:28:33
libcvc4-7_1.8-3build2_amd64.deb
4.52MB
2024-03-31 20:36:19
libcvc4-dev_1.5-1_amd64.deb
5.69MB
2017-11-03 06:57:06
libcvc4-dev_1.5-1_i386.deb
6.09MB
2017-11-03 06:59:18
libcvc4-dev_1.6-2build2_amd64.deb
6.96MB
2020-02-03 23:45:00
libcvc4-dev_1.8-2_amd64.deb
120.32KB
2020-09-30 16:28:33
libcvc4-dev_1.8-3build2_amd64.deb
122.32KB
2024-03-31 20:36:18
libcvc4parser4_1.5-1_amd64.deb
355.15KB
2017-11-03 06:57:06
libcvc4parser4_1.5-1_i386.deb
381.12KB
2017-11-03 06:59:19
libcvc4parser5_1.6-2build2_amd64.deb
355.57KB
2020-02-03 23:45:00
libcvc4parser7_1.8-2_amd64.deb
349.14KB
2020-09-30 16:28:33
libcvc4parser7_1.8-3build2_amd64.deb
365.06KB
2024-03-31 20:36:18