Index of /ubuntu/pool/universe/c/cvc5/
name
size
date
cvc5_1.3.2-1build1_amd64v3.deb
120.8K
2026-01-23 17:16:45
libcvc5-1_1.3.2-1build1_amd64v3.deb
6.08M
2026-01-23 17:16:45
libcvc5-dev_1.3.2-1build1_amd64v3.deb
109.4K
2026-01-23 17:16:45
libcvc5parser1_1.3.2-1build1_amd64v3.deb
233.6K
2026-01-23 17:16:45
python3-cvc5_1.3.2-1build1_amd64v3.deb
384.5K
2026-01-23 17:16:45
cvc5_1.3.2-1build1_amd64.deb
119.2K
2026-01-23 17:16:22
libcvc5-1_1.3.2-1build1_amd64.deb
5.89M
2026-01-23 17:16:22
libcvc5-dev_1.3.2-1build1_amd64.deb
109.4K
2026-01-23 17:16:22
libcvc5parser1_1.3.2-1build1_amd64.deb
229.2K
2026-01-23 17:16:22
python3-cvc5_1.3.2-1build1_amd64.deb
381.7K
2026-01-23 17:16:22
cvc5_1.3.2-1build1.debian.tar.xz
8.4K
2026-01-23 17:13:32
cvc5_1.3.2-1build1.dsc
2.4K
2026-01-23 17:13:32
cvc5_1.3.2-1_amd64v3.deb
120.8K
2025-12-24 06:24:59
libcvc5-1_1.3.2-1_amd64v3.deb
6.08M
2025-12-24 06:24:59
libcvc5-dev_1.3.2-1_amd64v3.deb
109.3K
2025-12-24 06:24:59
libcvc5parser1_1.3.2-1_amd64v3.deb
233.8K
2025-12-24 06:24:59
python3-cvc5_1.3.2-1_amd64v3.deb
384.4K
2025-12-24 06:24:59
cvc5_1.3.2-1_amd64.deb
119.1K
2025-12-24 06:24:56
libcvc5-1_1.3.2-1_amd64.deb
5.89M
2025-12-24 06:24:56
libcvc5-dev_1.3.2-1_amd64.deb
109.3K
2025-12-24 06:24:56
libcvc5parser1_1.3.2-1_amd64.deb
229.3K
2025-12-24 06:24:56
python3-cvc5_1.3.2-1_amd64.deb
381.8K
2025-12-24 06:24:56
cvc5_1.3.2-1.debian.tar.xz
8.3K
2025-12-24 06:24:36
cvc5_1.3.2-1.dsc
2.4K
2025-12-24 06:24:36
cvc5_1.3.2.orig.tar.gz
8.82M
2025-12-24 06:24:36
cvc5_1.1.2-2build1_amd64.deb
89.8K
2025-01-03 21:43:40
libcvc5-1_1.1.2-2build1_amd64.deb
5.04M
2025-01-03 21:43:40
libcvc5-dev_1.1.2-2build1_amd64.deb
82.2K
2025-01-03 21:43:40
libcvc5parser1_1.1.2-2build1_amd64.deb
206.3K
2025-01-03 21:43:40
python3-cvc5_1.1.2-2build1_amd64.deb
349.9K
2025-01-03 21:43:39
cvc5_1.1.2-2build1.debian.tar.xz
7.3K
2025-01-03 21:43:24
cvc5_1.1.2-2build1.dsc
2.4K
2025-01-03 21:43:24
cvc5_1.1.2-1build1_amd64.deb
93.4K
2024-04-01 03:46:29
libcvc5-1_1.1.2-1build1_amd64.deb
4.85M
2024-04-01 03:46:29
libcvc5-dev_1.1.2-1build1_amd64.deb
82.2K
2024-04-01 03:46:29
libcvc5parser1_1.1.2-1build1_amd64.deb
205.0K
2024-04-01 03:46:29
python3-cvc5_1.1.2-1build1_amd64.deb
339.2K
2024-04-01 03:46:29
cvc5_1.1.2-1build1.debian.tar.xz
6.4K
2024-03-31 18:36:42
cvc5_1.1.2-1build1.dsc
2.5K
2024-03-31 18:36:42
cvc5_1.1.2.orig.tar.gz
8.18M
2024-03-03 11:23:16