Index of /debian/pool/main/c/cvc5
Name
Last modified
Size
Description
Parent Directory
-
cvc5_1.0.3-1.debian.tar.xz
2022-12-20 03:26
5.8K
cvc5_1.0.3-1.dsc
2022-12-20 03:26
2.3K
cvc5_1.0.3-1_amd64.deb
2022-12-20 05:55
105K
cvc5_1.0.3-1_arm64.deb
2022-12-20 05:29
95K
cvc5_1.0.3-1_ppc64el.deb
2022-12-20 05:45
103K
cvc5_1.0.3-1_s390x.deb
2022-12-20 12:13
95K
cvc5_1.0.3.orig.tar.gz
2022-12-20 03:26
7.9M
cvc5_1.0.8-1.debian.tar.xz
2024-01-21 02:49
6.2K
cvc5_1.0.8-1.dsc
2024-01-21 02:49
2.4K
cvc5_1.0.8-1_amd64.deb
2024-01-21 03:59
104K
cvc5_1.0.8-1_arm64.deb
2024-01-21 03:59
92K
cvc5_1.0.8-1_ppc64el.deb
2024-01-21 03:59
98K
cvc5_1.0.8-1_riscv64.deb
2024-01-21 14:51
96K
cvc5_1.0.8-1_s390x.deb
2024-01-21 04:05
101K
cvc5_1.0.8.orig.tar.gz
2024-01-21 02:49
8.0M
cvc5_1.1.1-1.debian.tar.xz
2024-02-12 03:02
6.8K
cvc5_1.1.1-1.dsc
2024-02-12 03:02
2.4K
cvc5_1.1.1-1_amd64.deb
2024-02-12 03:53
107K
cvc5_1.1.1-1_arm64.deb
2024-02-12 04:34
94K
cvc5_1.1.1-1_ppc64el.deb
2024-02-12 03:53
101K
cvc5_1.1.1-1_riscv64.deb
2024-02-12 10:43
99K
cvc5_1.1.1-1_s390x.deb
2024-02-12 03:58
103K
cvc5_1.1.1.orig.tar.gz
2024-02-12 03:02
8.1M
libcvc5-1_1.0.3-1_amd64.deb
2022-12-20 05:55
5.6M
libcvc5-1_1.0.3-1_arm64.deb
2022-12-20 05:29
4.7M
libcvc5-1_1.0.3-1_ppc64el.deb
2022-12-20 05:45
5.3M
libcvc5-1_1.0.3-1_s390x.deb
2022-12-20 12:13
4.9M
libcvc5-1_1.0.8-1_amd64.deb
2024-01-21 03:59
5.9M
libcvc5-1_1.0.8-1_arm64.deb
2024-01-21 03:59
5.0M
libcvc5-1_1.0.8-1_ppc64el.deb
2024-01-21 03:59
5.6M
libcvc5-1_1.0.8-1_riscv64.deb
2024-01-21 14:51
5.9M
libcvc5-1_1.0.8-1_s390x.deb
2024-01-21 04:05
5.9M
libcvc5-1_1.1.1-1_amd64.deb
2024-02-12 03:53
6.0M
libcvc5-1_1.1.1-1_arm64.deb
2024-02-12 04:34
5.1M
libcvc5-1_1.1.1-1_ppc64el.deb
2024-02-12 03:53
5.7M
libcvc5-1_1.1.1-1_riscv64.deb
2024-02-12 10:43
6.0M
libcvc5-1_1.1.1-1_s390x.deb
2024-02-12 03:58
6.1M
libcvc5-dev_1.0.3-1_amd64.deb
2022-12-20 05:55
57K
libcvc5-dev_1.0.3-1_arm64.deb
2022-12-20 05:29
57K
libcvc5-dev_1.0.3-1_ppc64el.deb
2022-12-20 05:45
57K
libcvc5-dev_1.0.3-1_s390x.deb
2022-12-20 12:13
57K
libcvc5-dev_1.0.8-1_amd64.deb
2024-01-21 03:59
63K
libcvc5-dev_1.0.8-1_arm64.deb
2024-01-21 03:59
63K
libcvc5-dev_1.0.8-1_ppc64el.deb
2024-01-21 03:59
63K
libcvc5-dev_1.0.8-1_riscv64.deb
2024-01-21 14:51
63K
libcvc5-dev_1.0.8-1_s390x.deb
2024-01-21 04:05
63K
libcvc5-dev_1.1.1-1_amd64.deb
2024-02-12 03:53
78K
libcvc5-dev_1.1.1-1_arm64.deb
2024-02-12 04:34
78K
libcvc5-dev_1.1.1-1_ppc64el.deb
2024-02-12 03:53
78K
libcvc5-dev_1.1.1-1_riscv64.deb
2024-02-12 10:43
78K
libcvc5-dev_1.1.1-1_s390x.deb
2024-02-12 03:58
78K
libcvc5parser1_1.0.3-1_amd64.deb
2022-12-20 05:55
300K
libcvc5parser1_1.0.3-1_arm64.deb
2022-12-20 05:29
267K
libcvc5parser1_1.0.3-1_ppc64el.deb
2022-12-20 05:45
297K
libcvc5parser1_1.0.3-1_s390x.deb
2022-12-20 12:13
265K
libcvc5parser1_1.0.8-1_amd64.deb
2024-01-21 03:59
215K
libcvc5parser1_1.0.8-1_arm64.deb
2024-01-21 03:59
189K
libcvc5parser1_1.0.8-1_ppc64el.deb
2024-01-21 03:59
213K
libcvc5parser1_1.0.8-1_riscv64.deb
2024-01-21 14:51
206K
libcvc5parser1_1.0.8-1_s390x.deb
2024-01-21 04:05
209K
libcvc5parser1_1.1.1-1_amd64.deb
2024-02-12 03:53
226K
libcvc5parser1_1.1.1-1_arm64.deb
2024-02-12 04:34
199K
libcvc5parser1_1.1.1-1_ppc64el.deb
2024-02-12 03:53
223K
libcvc5parser1_1.1.1-1_riscv64.deb
2024-02-12 10:43
216K
libcvc5parser1_1.1.1-1_s390x.deb
2024-02-12 03:58
220K
python3-cvc5_1.0.8-1_amd64.deb
2024-01-21 03:59
272K
python3-cvc5_1.0.8-1_arm64.deb
2024-01-21 03:59
246K
python3-cvc5_1.0.8-1_ppc64el.deb
2024-01-21 03:59
251K
python3-cvc5_1.0.8-1_riscv64.deb
2024-01-21 14:51
267K
python3-cvc5_1.0.8-1_s390x.deb
2024-01-21 04:05
274K
python3-cvc5_1.1.1-1_amd64.deb
2024-02-12 03:53
317K
python3-cvc5_1.1.1-1_arm64.deb
2024-02-12 04:34
287K
python3-cvc5_1.1.1-1_ppc64el.deb
2024-02-12 03:53
290K
python3-cvc5_1.1.1-1_riscv64.deb
2024-02-12 10:43
311K
python3-cvc5_1.1.1-1_s390x.deb
2024-02-12 03:58
314K
Apache/2.4.52 (Ubuntu) Server at mirror.renu.ac.ug Port 443