Index of /apt/mirror/deb.devuan.org/merged/pool/DEBIAN/main/c/cvc5/
../
cvc5_1.0.3-1_amd64.deb 20-Dec-2022 00:55 105K
cvc5_1.1.2-2+b3_amd64.deb 09-Jan-2025 06:11 107K
cvc5_1.1.2-3_amd64.deb 11-Aug-2025 08:32 105K
libcvc5-1_1.0.3-1_amd64.deb 20-Dec-2022 00:55 6M
libcvc5-1_1.1.2-2+b3_amd64.deb 09-Jan-2025 06:11 6M
libcvc5-1_1.1.2-3_amd64.deb 11-Aug-2025 08:32 6M
libcvc5-dev_1.0.3-1_amd64.deb 20-Dec-2022 00:55 57K
libcvc5-dev_1.1.2-2+b3_amd64.deb 09-Jan-2025 06:11 91K
libcvc5-dev_1.1.2-3_amd64.deb 11-Aug-2025 08:32 91K
libcvc5parser1_1.0.3-1_amd64.deb 20-Dec-2022 00:55 300K
libcvc5parser1_1.1.2-2+b3_amd64.deb 09-Jan-2025 06:11 231K
libcvc5parser1_1.1.2-3_amd64.deb 11-Aug-2025 08:32 232K
python3-cvc5_1.1.2-2+b3_amd64.deb 09-Jan-2025 06:11 331K
python3-cvc5_1.1.2-3_amd64.deb 11-Aug-2025 08:32 333K