../ 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.1.2-2.debian.tar.xz 19-Mar-2024 22:22 7396 cvc5_1.1.2-2.dsc 19-Mar-2024 22:22 2470 cvc5_1.1.2-2_armhf.deb 21-May-2024 22:08 99360 cvc5_1.1.2.orig.tar.gz 03-Mar-2024 02:53 8581968 libcvc5-1_1.1.2-2_armhf.deb 21-May-2024 22:08 5582332 libcvc5-dev_1.1.2-2_armhf.deb 21-May-2024 22:08 92960 libcvc5parser1_1.1.2-2_armhf.deb 21-May-2024 22:08 197508 python3-cvc5_1.1.2-2_armhf.deb 21-May-2024 22:08 304532