../ cvc5_1.0.3-1.debian.tar.xz 06-Nov-2024 19:12 5964 cvc5_1.0.3-1.dsc 06-Nov-2024 19:12 2305 cvc5_1.0.3-1_amd64.deb 06-Nov-2024 19:12 105K cvc5_1.0.3.orig.tar.gz 06-Nov-2024 19:12 8M libcvc5-1_1.0.3-1_amd64.deb 06-Nov-2024 19:12 6M libcvc5-dev_1.0.3-1_amd64.deb 06-Nov-2024 19:12 57K libcvc5parser1_1.0.3-1_amd64.deb 06-Nov-2024 19:12 300K