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

Index of /ubuntu/pool/universe/c/cvc5/

Show dotfiles
Name
Last modified
Size
../
-
-
cvc5_1.1.2-1build1.debian.tar.xz
31-Mar-2024 18:36
6.42 KB
cvc5_1.1.2-1build1.dsc
31-Mar-2024 18:36
2.53 KB
cvc5_1.1.2-1build1_amd64.deb
01-Apr-2024 03:46
93.36 KB
cvc5_1.1.2-2build1.debian.tar.xz
03-Jan-2025 21:43
7.3 KB
cvc5_1.1.2-2build1.dsc
03-Jan-2025 21:43
2.42 KB
cvc5_1.1.2-2build1_amd64.deb
03-Jan-2025 21:43
89.78 KB
cvc5_1.1.2.orig.tar.gz
03-Mar-2024 11:23
8.18 MB
cvc5_1.3.2-1.debian.tar.xz
24-Dec-2025 06:24
8.33 KB
cvc5_1.3.2-1.dsc
24-Dec-2025 06:24
2.41 KB
cvc5_1.3.2-1_amd64.deb
24-Dec-2025 06:24
119.1 KB
cvc5_1.3.2-1_amd64v3.deb
24-Dec-2025 06:24
120.8 KB
cvc5_1.3.2-1build1.debian.tar.xz
23-Jan-2026 17:13
8.39 KB
cvc5_1.3.2-1build1.dsc
23-Jan-2026 17:13
2.41 KB
cvc5_1.3.2-1build1_amd64.deb
23-Jan-2026 17:16
119.17 KB
cvc5_1.3.2-1build1_amd64v3.deb
23-Jan-2026 17:16
120.81 KB
cvc5_1.3.2.orig.tar.gz
24-Dec-2025 06:24
8.82 MB
libcvc5-1_1.1.2-1build1_amd64.deb
01-Apr-2024 03:46
4.85 MB
libcvc5-1_1.1.2-2build1_amd64.deb
03-Jan-2025 21:43
5.04 MB
libcvc5-1_1.3.2-1_amd64.deb
24-Dec-2025 06:24
5.89 MB
libcvc5-1_1.3.2-1_amd64v3.deb
24-Dec-2025 06:24
6.08 MB
libcvc5-1_1.3.2-1build1_amd64.deb
23-Jan-2026 17:16
5.89 MB
libcvc5-1_1.3.2-1build1_amd64v3.deb
23-Jan-2026 17:16
6.08 MB
libcvc5-dev_1.1.2-1build1_amd64.deb
01-Apr-2024 03:46
82.23 KB
libcvc5-dev_1.1.2-2build1_amd64.deb
03-Jan-2025 21:43
82.2 KB
libcvc5-dev_1.3.2-1_amd64.deb
24-Dec-2025 06:24
109.34 KB
libcvc5-dev_1.3.2-1_amd64v3.deb
24-Dec-2025 06:24
109.35 KB
libcvc5-dev_1.3.2-1build1_amd64.deb
23-Jan-2026 17:16
109.35 KB
libcvc5-dev_1.3.2-1build1_amd64v3.deb
23-Jan-2026 17:16
109.36 KB
libcvc5parser1_1.1.2-1build1_amd64.deb
01-Apr-2024 03:46
204.97 KB
libcvc5parser1_1.1.2-2build1_amd64.deb
03-Jan-2025 21:43
206.26 KB
libcvc5parser1_1.3.2-1_amd64.deb
24-Dec-2025 06:24
229.25 KB
libcvc5parser1_1.3.2-1_amd64v3.deb
24-Dec-2025 06:24
233.78 KB
libcvc5parser1_1.3.2-1build1_amd64.deb
23-Jan-2026 17:16
229.25 KB
libcvc5parser1_1.3.2-1build1_amd64v3.deb
23-Jan-2026 17:16
233.63 KB
python3-cvc5_1.1.2-1build1_amd64.deb
01-Apr-2024 03:46
339.19 KB
python3-cvc5_1.1.2-2build1_amd64.deb
03-Jan-2025 21:43
349.91 KB
python3-cvc5_1.3.2-1_amd64.deb
24-Dec-2025 06:24
381.84 KB
python3-cvc5_1.3.2-1_amd64v3.deb
24-Dec-2025 06:24
384.35 KB
python3-cvc5_1.3.2-1build1_amd64.deb
23-Jan-2026 17:16
381.68 KB
python3-cvc5_1.3.2-1build1_amd64v3.deb
23-Jan-2026 17:16
384.45 KB