../ cvc5_1.1.2-2.debian.tar.xz 03-May-2024 01:55 7396 cvc5_1.1.2-2.dsc 03-May-2024 01:55 2470 cvc5_1.1.2-2_amd64.deb 03-May-2024 02:39 93K libcvc5-1_1.1.2-2_amd64.deb 03-May-2024 02:39 5M libcvc5-dev_1.1.2-2_amd64.deb 03-May-2024 02:39 82K libcvc5parser1_1.1.2-2_amd64.deb 03-May-2024 02:39 205K python3-cvc5_1.1.2-2_amd64.deb 03-May-2024 02:39 341K