Directory listing of https://mirror.biznetgio.com/ubuntu/ubuntu/ubuntu/pool/universe/c/cvc5
mirror.biznetgio.com
/
ubuntu
/
ubuntu
/
ubuntu
/
pool
/
universe
/
c
/
cvc5
File
Size
Last Modified
..
-
2025-12-19 00:44:59
cvc5_1.1.2-1build1.debian.tar.xz
6.42KB
2024-03-31 18:36:42
cvc5_1.1.2-1build1.dsc
2.53KB
2024-03-31 18:36:42
cvc5_1.1.2-1build1_amd64.deb
93.36KB
2024-04-01 03:46:29
cvc5_1.1.2-2build1.debian.tar.xz
7.30KB
2025-01-03 21:43:24
cvc5_1.1.2-2build1.dsc
2.42KB
2025-01-03 21:43:24
cvc5_1.1.2-2build1_amd64.deb
89.78KB
2025-01-03 21:43:40
cvc5_1.1.2.orig.tar.gz
8.18MB
2024-03-03 11:23:16
cvc5_1.3.2-1.debian.tar.xz
8.33KB
2025-12-24 06:24:36
cvc5_1.3.2-1.dsc
2.41KB
2025-12-24 06:24:36
cvc5_1.3.2-1build1.debian.tar.xz
8.39KB
2026-01-23 17:13:32
cvc5_1.3.2-1build1.dsc
2.41KB
2026-01-23 17:13:32
cvc5_1.3.2-1build1_amd64.deb
119.17KB
2026-01-23 17:16:22
cvc5_1.3.2-1build1_amd64v3.deb
120.81KB
2026-01-23 17:16:45
cvc5_1.3.2-1_amd64.deb
119.10KB
2025-12-24 06:24:56
cvc5_1.3.2-1_amd64v3.deb
120.80KB
2025-12-24 06:24:59
cvc5_1.3.2.orig.tar.gz
8.82MB
2025-12-24 06:24:36
libcvc5-1_1.1.2-1build1_amd64.deb
4.85MB
2024-04-01 03:46:29
libcvc5-1_1.1.2-2build1_amd64.deb
5.04MB
2025-01-03 21:43:40
libcvc5-1_1.3.2-1build1_amd64.deb
5.89MB
2026-01-23 17:16:22
libcvc5-1_1.3.2-1build1_amd64v3.deb
6.08MB
2026-01-23 17:16:45
libcvc5-1_1.3.2-1_amd64.deb
5.89MB
2025-12-24 06:24:56
libcvc5-1_1.3.2-1_amd64v3.deb
6.08MB
2025-12-24 06:24:59
libcvc5-dev_1.1.2-1build1_amd64.deb
82.23KB
2024-04-01 03:46:29
libcvc5-dev_1.1.2-2build1_amd64.deb
82.20KB
2025-01-03 21:43:40
libcvc5-dev_1.3.2-1build1_amd64.deb
109.35KB
2026-01-23 17:16:22
libcvc5-dev_1.3.2-1build1_amd64v3.deb
109.36KB
2026-01-23 17:16:45
libcvc5-dev_1.3.2-1_amd64.deb
109.34KB
2025-12-24 06:24:56
libcvc5-dev_1.3.2-1_amd64v3.deb
109.35KB
2025-12-24 06:24:59
libcvc5parser1_1.1.2-1build1_amd64.deb
204.97KB
2024-04-01 03:46:29
libcvc5parser1_1.1.2-2build1_amd64.deb
206.26KB
2025-01-03 21:43:40
libcvc5parser1_1.3.2-1build1_amd64.deb
229.25KB
2026-01-23 17:16:22
libcvc5parser1_1.3.2-1build1_amd64v3.deb
233.63KB
2026-01-23 17:16:45
libcvc5parser1_1.3.2-1_amd64.deb
229.25KB
2025-12-24 06:24:56
libcvc5parser1_1.3.2-1_amd64v3.deb
233.78KB
2025-12-24 06:24:59
python3-cvc5_1.1.2-1build1_amd64.deb
339.19KB
2024-04-01 03:46:29
python3-cvc5_1.1.2-2build1_amd64.deb
349.91KB
2025-01-03 21:43:39
python3-cvc5_1.3.2-1build1_amd64.deb
381.68KB
2026-01-23 17:16:22
python3-cvc5_1.3.2-1build1_amd64v3.deb
384.45KB
2026-01-23 17:16:45
python3-cvc5_1.3.2-1_amd64.deb
381.84KB
2025-12-24 06:24:56
python3-cvc5_1.3.2-1_amd64v3.deb
384.35KB
2025-12-24 06:24:59