../ cvc5_1.0.3-1.debian.tar.xz 20-Dec-2022 03:26 5964 cvc5_1.0.3-1.dsc 20-Dec-2022 03:26 2305 cvc5_1.0.3.orig.tar.gz 20-Dec-2022 03:26 8335175 cvc5_1.0.5-3.debian.tar.xz 23-Jun-2023 20:03 7072 cvc5_1.0.5-3.dsc 23-Jun-2023 20:03 2495 cvc5_1.0.5.orig.tar.gz 20-Jun-2023 17:12 8431503