Index of /ubuntu-ports/pool/universe/c/cvc5
Name
Last modified
Size
Description
Parent Directory
-
cvc5_1.1.2-1build1.debian.tar.xz
2024-03-31 14:36
6.4K
cvc5_1.1.2-1build1.dsc
2024-03-31 14:36
2.5K
cvc5_1.1.2-1build1_arm64.deb
2024-04-02 00:06
86K
cvc5_1.1.2-1build1_armhf.deb
2024-04-01 21:08
102K
cvc5_1.1.2-2.debian.tar.xz
2024-05-02 21:55
7.2K
cvc5_1.1.2-2.dsc
2024-05-02 21:55
2.4K
cvc5_1.1.2-2_arm64.deb
2024-05-03 04:35
86K
cvc5_1.1.2-2_armhf.deb
2024-05-09 07:31
102K
cvc5_1.1.2-2build1.debian.tar.xz
2025-01-03 16:43
7.3K
cvc5_1.1.2-2build1.dsc
2025-01-03 16:43
2.4K
cvc5_1.1.2-2build1_arm64.deb
2025-01-03 16:44
85K
cvc5_1.1.2-2build1_armhf.deb
2025-01-03 16:44
99K
cvc5_1.1.2.orig.tar.gz
2024-03-03 06:23
8.2M
libcvc5-1_1.1.2-1build1_arm64.deb
2024-04-02 00:06
4.5M
libcvc5-1_1.1.2-1build1_armhf.deb
2024-04-01 21:08
6.0M
libcvc5-1_1.1.2-2_arm64.deb
2024-05-03 04:35
4.5M
libcvc5-1_1.1.2-2_armhf.deb
2024-05-09 07:31
6.0M
libcvc5-1_1.1.2-2build1_arm64.deb
2025-01-03 16:44
4.6M
libcvc5-1_1.1.2-2build1_armhf.deb
2025-01-03 16:44
6.2M
libcvc5-dev_1.1.2-1build1_arm64.deb
2024-04-02 00:06
82K
libcvc5-dev_1.1.2-1build1_armhf.deb
2024-04-01 21:08
82K
libcvc5-dev_1.1.2-2_arm64.deb
2024-05-03 04:35
82K
libcvc5-dev_1.1.2-2_armhf.deb
2024-05-09 07:31
82K
libcvc5-dev_1.1.2-2build1_arm64.deb
2025-01-03 16:44
82K
libcvc5-dev_1.1.2-2build1_armhf.deb
2025-01-03 16:44
82K
libcvc5parser1_1.1.2-1build1_arm64.deb
2024-04-02 00:06
194K
libcvc5parser1_1.1.2-1build1_armhf.deb
2024-04-01 21:08
212K
libcvc5parser1_1.1.2-2_arm64.deb
2024-05-03 04:35
194K
libcvc5parser1_1.1.2-2_armhf.deb
2024-05-09 07:31
215K
libcvc5parser1_1.1.2-2build1_arm64.deb
2025-01-03 16:44
195K
libcvc5parser1_1.1.2-2build1_armhf.deb
2025-01-03 16:44
214K
python3-cvc5_1.1.2-1build1_arm64.deb
2024-04-02 00:06
328K
python3-cvc5_1.1.2-1build1_armhf.deb
2024-04-01 21:08
341K
python3-cvc5_1.1.2-2_arm64.deb
2024-05-03 04:35
328K
python3-cvc5_1.1.2-2_armhf.deb
2024-05-09 07:31
342K
python3-cvc5_1.1.2-2build1_arm64.deb
2025-01-03 16:44
331K
python3-cvc5_1.1.2-2build1_armhf.deb
2025-01-03 16:44
346K