Index of /pardus/pool/main/c/cvc5/
../
cvc5_1.0.3-1.debian.tar.xz 10-Feb-2023 18:20 5964
cvc5_1.0.3-1.dsc 10-Feb-2023 18:20 2305
cvc5_1.0.3-1_amd64.deb 10-Feb-2023 16:09 105K
cvc5_1.0.3-1_arm64.deb 10-Feb-2023 18:02 95K
cvc5_1.0.3.orig.tar.gz 10-Feb-2023 18:20 8M
cvc5_1.1.2-2+b3_amd64.deb 12-Aug-2025 23:56 107K
cvc5_1.1.2-2+b3_arm64.deb 13-Aug-2025 02:13 95K
cvc5_1.1.2-2+b3_i386.deb 13-Aug-2025 02:22 109K
cvc5_1.1.2-2.debian.tar.xz 13-Aug-2025 01:25 7396
cvc5_1.1.2-2.dsc 13-Aug-2025 01:25 2470
cvc5_1.1.2.orig.tar.gz 13-Aug-2025 01:25 8M
libcvc5-1_1.0.3-1_amd64.deb 10-Feb-2023 15:53 6M
libcvc5-1_1.0.3-1_arm64.deb 10-Feb-2023 15:40 5M
libcvc5-1_1.1.2-2+b3_amd64.deb 13-Aug-2025 04:33 6M
libcvc5-1_1.1.2-2+b3_arm64.deb 13-Aug-2025 04:30 5M
libcvc5-1_1.1.2-2+b3_i386.deb 13-Aug-2025 00:16 7M
libcvc5-dev_1.0.3-1_amd64.deb 10-Feb-2023 15:41 57K
libcvc5-dev_1.0.3-1_arm64.deb 10-Feb-2023 16:50 57K
libcvc5-dev_1.1.2-2+b3_amd64.deb 13-Aug-2025 04:46 91K
libcvc5-dev_1.1.2-2+b3_arm64.deb 13-Aug-2025 02:31 91K
libcvc5-dev_1.1.2-2+b3_i386.deb 13-Aug-2025 04:29 91K
libcvc5parser1_1.0.3-1_amd64.deb 10-Feb-2023 18:34 300K
libcvc5parser1_1.0.3-1_arm64.deb 10-Feb-2023 17:36 267K
libcvc5parser1_1.1.2-2+b3_amd64.deb 13-Aug-2025 00:39 231K
libcvc5parser1_1.1.2-2+b3_arm64.deb 13-Aug-2025 00:39 203K
libcvc5parser1_1.1.2-2+b3_i386.deb 13-Aug-2025 03:20 252K
python3-cvc5_1.1.2-2+b3_amd64.deb 13-Aug-2025 05:21 331K
python3-cvc5_1.1.2-2+b3_arm64.deb 13-Aug-2025 00:31 291K
python3-cvc5_1.1.2-2+b3_i386.deb 13-Aug-2025 00:40 318K