../ cvc5_1.0.3-1.debian.tar.xz 19-Dec-2022 21:26 5964 cvc5_1.0.3-1.dsc 19-Dec-2022 21:26 2305 cvc5_1.0.3-1_amd64.deb 19-Dec-2022 23:55 107900 cvc5_1.0.3.orig.tar.gz 19-Dec-2022 21:26 8335175 libcvc5-1_1.0.3-1_amd64.deb 19-Dec-2022 23:55 5841260 libcvc5-dev_1.0.3-1_amd64.deb 19-Dec-2022 23:55 58584 libcvc5parser1_1.0.3-1_amd64.deb 19-Dec-2022 23:55 306872