Index of /sites/archive.ubuntu.com/ubuntu/ubuntu/ubuntu/pool/universe/c/cvc5/
Name Last modified Size
Parent Directory - cvc5_1.0.3-1.debian.tar.xz 2022-12-20 11:29 5.8K cvc5_1.0.3-1.dsc 2022-12-20 11:29 2.3K cvc5_1.0.3-1_amd64.deb 2022-12-20 11:49 96K cvc5_1.0.3.orig.tar.gz 2022-12-20 11:29 7.9M cvc5_1.0.5-3.debian.tar.xz 2023-06-24 12:45 6.9K cvc5_1.0.5-3.dsc 2023-06-24 12:45 2.4K cvc5_1.0.5-3_amd64.deb 2023-06-25 09:04 88K cvc5_1.0.5.orig.tar.gz 2023-06-21 00:39 8.0M cvc5_1.1.2-1.debian.tar.xz 2024-03-03 11:23 6.3K cvc5_1.1.2-1.dsc 2024-03-03 11:23 2.4K cvc5_1.1.2-1_amd64.deb 2024-03-03 12:07 94K cvc5_1.1.2.orig.tar.gz 2024-03-03 11:23 8.2M libcvc5-1_1.0.3-1_amd64.deb 2022-12-20 11:49 4.6M libcvc5-1_1.0.5-3_amd64.deb 2023-06-25 09:04 4.6M libcvc5-1_1.1.2-1_amd64.deb 2024-03-03 12:07 4.8M libcvc5-dev_1.0.3-1_amd64.deb 2022-12-20 11:49 52K libcvc5-dev_1.0.5-3_amd64.deb 2023-06-25 09:04 53K libcvc5-dev_1.1.2-1_amd64.deb 2024-03-03 12:07 82K libcvc5parser1_1.0.3-1_amd64.deb 2022-12-20 11:49 297K libcvc5parser1_1.0.5-3_amd64.deb 2023-06-25 09:04 344K libcvc5parser1_1.1.2-1_amd64.deb 2024-03-03 12:07 205K python3-cvc5_1.0.5-3_amd64.deb 2023-06-25 09:04 239K python3-cvc5_1.1.2-1_amd64.deb 2024-03-03 12:07 339K