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