Index of /pureos/pool/main/c/cvc5
Name
Last modified
Size
Description
Parent Directory
-
cvc5_1.0.3-1.debian.tar.xz
2023-06-14 09:56
5.8K
cvc5_1.0.3-1.dsc
2023-06-14 09:56
2.3K
cvc5_1.0.3-1_amd64.deb
2023-06-14 16:18
105K
cvc5_1.0.3-1_arm64.deb
2023-06-14 16:18
95K
cvc5_1.0.3.orig.tar.gz
2023-06-14 09:56
7.9M
cvc5_1.1.2-2+b1_amd64.deb
2024-07-07 22:33
108K
cvc5_1.1.2-2+b1_arm64.deb
2024-07-07 22:33
97K
cvc5_1.1.2-2+b2_amd64.deb
2024-10-30 00:24
105K
cvc5_1.1.2-2+b2_arm64.deb
2024-10-30 12:26
95K
cvc5_1.1.2-2.debian.tar.xz
2024-05-09 22:05
7.2K
cvc5_1.1.2-2.dsc
2024-05-09 22:05
2.4K
cvc5_1.1.2-2_amd64.deb
2024-05-10 07:18
108K
cvc5_1.1.2-2_arm64.deb
2024-05-10 07:18
96K
cvc5_1.1.2.orig.tar.gz
2024-05-09 22:05
8.2M
libcvc5-1_1.0.3-1_amd64.deb
2023-06-14 16:18
5.6M
libcvc5-1_1.0.3-1_arm64.deb
2023-06-14 16:18
4.7M
libcvc5-1_1.1.2-2+b1_amd64.deb
2024-07-07 22:33
6.1M
libcvc5-1_1.1.2-2+b1_arm64.deb
2024-07-07 22:33
5.2M
libcvc5-1_1.1.2-2+b2_amd64.deb
2024-10-30 00:24
6.4M
libcvc5-1_1.1.2-2+b2_arm64.deb
2024-10-30 12:26
5.4M
libcvc5-1_1.1.2-2_amd64.deb
2024-05-10 07:18
6.1M
libcvc5-1_1.1.2-2_arm64.deb
2024-05-10 07:18
5.2M
libcvc5-dev_1.0.3-1_amd64.deb
2023-06-14 16:18
57K
libcvc5-dev_1.0.3-1_arm64.deb
2023-06-14 16:18
57K
libcvc5-dev_1.1.2-2+b1_amd64.deb
2024-07-07 22:33
91K
libcvc5-dev_1.1.2-2+b1_arm64.deb
2024-07-07 22:33
91K
libcvc5-dev_1.1.2-2+b2_amd64.deb
2024-10-30 00:24
91K
libcvc5-dev_1.1.2-2+b2_arm64.deb
2024-10-30 12:26
91K
libcvc5-dev_1.1.2-2_amd64.deb
2024-05-10 07:18
91K
libcvc5-dev_1.1.2-2_arm64.deb
2024-05-10 07:18
91K
libcvc5parser1_1.0.3-1_amd64.deb
2023-06-14 16:18
300K
libcvc5parser1_1.0.3-1_arm64.deb
2023-06-14 16:18
267K
libcvc5parser1_1.1.2-2+b1_amd64.deb
2024-07-07 22:33
230K
libcvc5parser1_1.1.2-2+b1_arm64.deb
2024-07-07 22:33
201K
libcvc5parser1_1.1.2-2+b2_amd64.deb
2024-10-30 00:24
231K
libcvc5parser1_1.1.2-2+b2_arm64.deb
2024-10-30 12:26
202K
libcvc5parser1_1.1.2-2_amd64.deb
2024-05-10 07:18
229K
libcvc5parser1_1.1.2-2_arm64.deb
2024-05-10 07:18
201K
python3-cvc5_1.1.2-2+b1_amd64.deb
2024-07-07 22:33
328K
python3-cvc5_1.1.2-2+b1_arm64.deb
2024-07-07 22:33
289K
python3-cvc5_1.1.2-2+b2_amd64.deb
2024-10-30 00:24
331K
python3-cvc5_1.1.2-2+b2_arm64.deb
2024-10-30 12:26
291K
python3-cvc5_1.1.2-2_amd64.deb
2024-05-10 07:18
321K
python3-cvc5_1.1.2-2_arm64.deb
2024-05-10 07:18
291K
Apache/2.4.18 (Trisquel_GNU/Linux) Server at mirror.fsf.org Port 80