../ cvc5_1.0.3-1_amd64.deb 20-Dec-2022 05:55 105K cvc5_1.0.3-1_arm64.deb 20-Dec-2022 05:29 95K cvc5_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 107K libcvc5-1_1.0.3-1_amd64.deb 20-Dec-2022 05:55 6M libcvc5-1_1.0.3-1_arm64.deb 20-Dec-2022 05:29 5M libcvc5-1_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 6M libcvc5-dev_1.0.3-1_amd64.deb 20-Dec-2022 05:55 57K libcvc5-dev_1.0.3-1_arm64.deb 20-Dec-2022 05:29 57K libcvc5-dev_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 91K libcvc5parser1_1.0.3-1_amd64.deb 20-Dec-2022 05:55 300K libcvc5parser1_1.0.3-1_arm64.deb 20-Dec-2022 05:29 267K libcvc5parser1_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 231K python3-cvc5_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 331K