uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /ubuntu/pool/universe/c/cvc4/

Show dotfiles
Name
Last modified
Size
../
-
-
cvc4_1.5-1.debian.tar.xz
01-Nov-2017 13:57
5.87 KB
cvc4_1.5-1.dsc
01-Nov-2017 13:57
2.17 KB
cvc4_1.5-1_amd64.deb
03-Nov-2017 06:57
135.38 KB
cvc4_1.5-1_i386.deb
03-Nov-2017 06:59
139.46 KB
cvc4_1.5.orig.tar.gz
01-Nov-2017 13:57
7.56 MB
cvc4_1.6-2build2.debian.tar.xz
03-Feb-2020 22:24
8.2 KB
cvc4_1.6-2build2.dsc
03-Feb-2020 22:24
2.69 KB
cvc4_1.6-2build2_amd64.deb
03-Feb-2020 23:45
134.5 KB
cvc4_1.6.orig.tar.gz
12-Aug-2018 05:13
7.45 MB
cvc4_1.8-2.debian.tar.xz
30-Sep-2020 15:43
16.07 KB
cvc4_1.8-2.dsc
30-Sep-2020 15:43
2.22 KB
cvc4_1.8-2_amd64.deb
30-Sep-2020 16:28
71.62 KB
cvc4_1.8-3build2.debian.tar.xz
31-Mar-2024 18:36
16.48 KB
cvc4_1.8-3build2.dsc
31-Mar-2024 18:36
2.31 KB
cvc4_1.8-3build2_amd64.deb
31-Mar-2024 20:36
73.62 KB
cvc4_1.8-5.debian.tar.xz
28-Oct-2025 00:01
17.2 KB
cvc4_1.8-5.dsc
28-Oct-2025 00:01
1.82 KB
cvc4_1.8-5_amd64.deb
28-Oct-2025 00:16
68.71 KB
cvc4_1.8-5_amd64v3.deb
28-Oct-2025 00:28
69.82 KB
cvc4_1.8.orig.tar.gz
30-Sep-2020 15:43
7.2 MB
libcvc4-4_1.5-1_amd64.deb
03-Nov-2017 06:57
3.22 MB
libcvc4-4_1.5-1_i386.deb
03-Nov-2017 06:59
3.45 MB
libcvc4-5_1.6-2build2_amd64.deb
03-Feb-2020 23:45
4.3 MB
libcvc4-7_1.8-2_amd64.deb
30-Sep-2020 16:28
5.4 MB
libcvc4-7_1.8-3build2_amd64.deb
31-Mar-2024 20:36
4.52 MB
libcvc4-7_1.8-5_amd64.deb
28-Oct-2025 00:16
4.69 MB
libcvc4-7_1.8-5_amd64v3.deb
28-Oct-2025 00:28
4.83 MB
libcvc4-dev_1.5-1_amd64.deb
03-Nov-2017 06:57
5.69 MB
libcvc4-dev_1.5-1_i386.deb
03-Nov-2017 06:59
6.09 MB
libcvc4-dev_1.6-2build2_amd64.deb
03-Feb-2020 23:45
6.96 MB
libcvc4-dev_1.8-2_amd64.deb
30-Sep-2020 16:28
120.32 KB
libcvc4-dev_1.8-3build2_amd64.deb
31-Mar-2024 20:36
122.32 KB
libcvc4-dev_1.8-5_amd64.deb
28-Oct-2025 00:16
122.3 KB
libcvc4-dev_1.8-5_amd64v3.deb
28-Oct-2025 00:28
122.31 KB
libcvc4parser4_1.5-1_amd64.deb
03-Nov-2017 06:57
355.15 KB
libcvc4parser4_1.5-1_i386.deb
03-Nov-2017 06:59
381.13 KB
libcvc4parser5_1.6-2build2_amd64.deb
03-Feb-2020 23:45
355.57 KB
libcvc4parser7_1.8-2_amd64.deb
30-Sep-2020 16:28
349.14 KB
libcvc4parser7_1.8-3build2_amd64.deb
31-Mar-2024 20:36
365.06 KB
libcvc4parser7_1.8-5_amd64.deb
28-Oct-2025 00:16
375.09 KB
libcvc4parser7_1.8-5_amd64v3.deb
28-Oct-2025 00:28
385.51 KB