Index of /debian/pool/main/c/cvc5
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
cvc5_1.0.3-1.debian.tar.xz 2022-12-19 22:26 5.8K
![[TXT]](/icons/text.gif)
cvc5_1.0.3-1.dsc 2022-12-19 22:26 2.3K
cvc5_1.0.3-1_amd64.deb 2022-12-20 00:55 105K
![[ ]](/icons/compressed.gif)
cvc5_1.0.3.orig.tar.gz 2022-12-19 22:26 7.9M
cvc5_1.1.2-2+b3_amd64.deb 2025-01-09 06:11 107K
cvc5_1.1.2-2+b3_i386.deb 2025-01-09 06:05 109K
cvc5_1.1.2-2.debian.tar.xz 2024-03-19 18:22 7.2K
cvc5_1.1.2-2.dsc 2024-03-19 18:22 2.4K
cvc5_1.1.2-3.debian.tar.xz 2025-07-27 08:11 7.2K
cvc5_1.1.2-3.dsc 2025-07-27 08:11 2.4K
cvc5_1.1.2-3_amd64.deb 2025-08-11 09:32 105K
cvc5_1.1.2-3_i386.deb 2025-08-11 09:39 109K
cvc5_1.1.2.orig.tar.gz 2024-03-02 21:53 8.2M
libcvc5-1_1.0.3-1_amd64.deb 2022-12-20 00:55 5.6M
libcvc5-1_1.1.2-2+b3_amd64.deb 2025-01-09 06:11 6.4M
libcvc5-1_1.1.2-2+b3_i386.deb 2025-01-09 06:05 6.9M
libcvc5-1_1.1.2-3_amd64.deb 2025-08-11 09:32 6.4M
libcvc5-1_1.1.2-3_i386.deb 2025-08-11 09:39 6.9M
libcvc5-dev_1.0.3-1_amd64.deb 2022-12-20 00:55 57K
libcvc5-dev_1.1.2-2+b3_amd64.deb 2025-01-09 06:11 91K
libcvc5-dev_1.1.2-2+b3_i386.deb 2025-01-09 06:05 91K
libcvc5-dev_1.1.2-3_amd64.deb 2025-08-11 09:32 91K
libcvc5-dev_1.1.2-3_i386.deb 2025-08-11 09:39 91K
libcvc5parser1_1.0.3-1_amd64.deb 2022-12-20 00:55 300K
libcvc5parser1_1.1.2-2+b3_amd64.deb 2025-01-09 06:11 231K
libcvc5parser1_1.1.2-2+b3_i386.deb 2025-01-09 06:05 252K
libcvc5parser1_1.1.2-3_amd64.deb 2025-08-11 09:32 232K
libcvc5parser1_1.1.2-3_i386.deb 2025-08-11 09:39 253K
python3-cvc5_1.1.2-2+b3_amd64.deb 2025-01-09 06:11 331K
python3-cvc5_1.1.2-2+b3_i386.deb 2025-01-09 06:05 318K
python3-cvc5_1.1.2-3_amd64.deb 2025-08-11 09:32 333K
python3-cvc5_1.1.2-3_i386.deb 2025-08-11 09:39 317K