Index of /raspbian/pool/main/c/cvc5
Name
Last modified
Size
Description
Metadata
Parent Directory
-
cvc5_1.0.3-1.debian.tar.xz
20-Dec-2022 03:26
5.8K
Details
cvc5_1.0.3-1.dsc
20-Dec-2022 03:26
2.3K
Details
cvc5_1.0.3.orig.tar.gz
20-Dec-2022 03:26
7.9M
Details
cvc5_1.1.2-2+b2_armhf.deb
29-Jan-2025 10:08
96K
Details
cvc5_1.1.2-2.debian.tar.xz
19-Mar-2024 22:22
7.2K
Details
cvc5_1.1.2-2.dsc
19-Mar-2024 22:22
2.4K
Details
cvc5_1.1.2.orig.tar.gz
03-Mar-2024 02:53
8.2M
Details
cvc5_1.3.2-1.debian.tar.xz
24-Dec-2025 01:13
8.3K
Details
cvc5_1.3.2-1.dsc
24-Dec-2025 01:13
2.4K
Details
cvc5_1.3.2-1_armhf.deb
14-Jan-2026 10:08
125K
Details
cvc5_1.3.2.orig.tar.gz
24-Dec-2025 01:13
8.8M
Details
libcvc5-1_1.1.2-2+b2_armhf.deb
29-Jan-2025 10:08
5.5M
Details
libcvc5-1_1.3.2-1_armhf.deb
14-Jan-2026 10:08
6.4M
Details
libcvc5-dev_1.1.2-2+b2_armhf.deb
29-Jan-2025 10:08
91K
Details
libcvc5-dev_1.3.2-1_armhf.deb
14-Jan-2026 10:08
121K
Details
libcvc5parser1_1.1.2-2+b2_armhf.deb
29-Jan-2025 10:08
196K
Details
libcvc5parser1_1.3.2-1_armhf.deb
14-Jan-2026 10:08
225K
Details
python3-cvc5_1.1.2-2+b2_armhf.deb
29-Jan-2025 10:08
305K
Details
python3-cvc5_1.3.2-1_armhf.deb
14-Jan-2026 10:08
333K
Details
Apache/2.4.66 (Debian) Server at 46.235.225.194 Port 80
MirrorBrain
powered by
Apache