Index of /debian/pool/main/c/cvc5/

File NameFile SizeDate
Parent directory/--
cvc5_1.0.3-1.debian.tar.xz 596420-Dec-2022 03:26
cvc5_1.0.3-1.dsc 230520-Dec-2022 03:26
cvc5_1.0.3-1_amd64.deb 105K20-Dec-2022 05:55
cvc5_1.0.3-1_arm64.deb 95K20-Dec-2022 05:29
cvc5_1.0.3.orig.tar.gz 8M20-Dec-2022 03:26
cvc5_1.1.2-2+b3_amd64.deb 107K09-Jan-2025 11:11
cvc5_1.1.2-2+b3_arm64.deb 95K09-Jan-2025 11:31
cvc5_1.1.2-2+b3_i386.deb 109K09-Jan-2025 11:05
cvc5_1.1.2-2+b3_riscv64.deb 99K12-Jan-2025 20:01
cvc5_1.1.2-2.debian.tar.xz 739619-Mar-2024 22:22
cvc5_1.1.2-2.dsc 247019-Mar-2024 22:22
cvc5_1.1.2.orig.tar.gz 8M03-Mar-2024 02:53
libcvc5-1_1.0.3-1_amd64.deb 6M20-Dec-2022 05:55
libcvc5-1_1.0.3-1_arm64.deb 5M20-Dec-2022 05:29
libcvc5-1_1.1.2-2+b3_amd64.deb 6M09-Jan-2025 11:11
libcvc5-1_1.1.2-2+b3_arm64.deb 5M09-Jan-2025 11:31
libcvc5-1_1.1.2-2+b3_i386.deb 7M09-Jan-2025 11:05
libcvc5-1_1.1.2-2+b3_riscv64.deb 6M12-Jan-2025 20:01
libcvc5-dev_1.0.3-1_amd64.deb 57K20-Dec-2022 05:55
libcvc5-dev_1.0.3-1_arm64.deb 57K20-Dec-2022 05:29
libcvc5-dev_1.1.2-2+b3_amd64.deb 91K09-Jan-2025 11:11
libcvc5-dev_1.1.2-2+b3_arm64.deb 91K09-Jan-2025 11:31
libcvc5-dev_1.1.2-2+b3_i386.deb 91K09-Jan-2025 11:05
libcvc5-dev_1.1.2-2+b3_riscv64.deb 91K12-Jan-2025 20:01
libcvc5parser1_1.0.3-1_amd64.deb 300K20-Dec-2022 05:55
libcvc5parser1_1.0.3-1_arm64.deb 267K20-Dec-2022 05:29
libcvc5parser1_1.1.2-2+b3_amd64.deb 231K09-Jan-2025 11:11
libcvc5parser1_1.1.2-2+b3_arm64.deb 203K09-Jan-2025 11:31
libcvc5parser1_1.1.2-2+b3_i386.deb 252K09-Jan-2025 11:05
libcvc5parser1_1.1.2-2+b3_riscv64.deb 222K12-Jan-2025 20:01
python3-cvc5_1.1.2-2+b3_amd64.deb 331K09-Jan-2025 11:11
python3-cvc5_1.1.2-2+b3_arm64.deb 291K09-Jan-2025 11:31
python3-cvc5_1.1.2-2+b3_i386.deb 318K09-Jan-2025 11:05
python3-cvc5_1.1.2-2+b3_riscv64.deb 320K12-Jan-2025 20:01