../ 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-1_amd64.deb 20-Dec-2022 05:55 107900 cvc5_1.0.3-1_arm64.deb 20-Dec-2022 05:29 97488 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_amd64.deb 20-Mar-2024 01:42 110792 cvc5_1.1.2-2_arm64.deb 20-Mar-2024 02:29 98620 cvc5_1.1.2-2_armel.deb 19-Mar-2024 23:13 99860 cvc5_1.1.2-2_armhf.deb 19-Mar-2024 23:28 102712 cvc5_1.1.2-2_i386.deb 19-Mar-2024 23:08 113520 cvc5_1.1.2-2_riscv64.deb 21-Mar-2024 11:14 102820 cvc5_1.1.2.orig.tar.gz 03-Mar-2024 02:53 8581968 libcvc5-1_1.0.3-1_amd64.deb 20-Dec-2022 05:55 5841260 libcvc5-1_1.0.3-1_arm64.deb 20-Dec-2022 05:29 4944548 libcvc5-1_1.1.2-2_amd64.deb 20-Mar-2024 01:42 6413360 libcvc5-1_1.1.2-2_arm64.deb 20-Mar-2024 02:29 5473400 libcvc5-1_1.1.2-2_armel.deb 19-Mar-2024 23:13 5579132 libcvc5-1_1.1.2-2_armhf.deb 19-Mar-2024 23:29 5477220 libcvc5-1_1.1.2-2_i386.deb 19-Mar-2024 23:08 7028772 libcvc5-1_1.1.2-2_riscv64.deb 21-Mar-2024 11:14 6415520 libcvc5-dev_1.0.3-1_amd64.deb 20-Dec-2022 05:55 58584 libcvc5-dev_1.0.3-1_arm64.deb 20-Dec-2022 05:29 58576 libcvc5-dev_1.1.2-2_amd64.deb 20-Mar-2024 01:42 92956 libcvc5-dev_1.1.2-2_arm64.deb 20-Mar-2024 02:29 92960 libcvc5-dev_1.1.2-2_armel.deb 19-Mar-2024 23:13 92952 libcvc5-dev_1.1.2-2_armhf.deb 19-Mar-2024 23:29 92960 libcvc5-dev_1.1.2-2_i386.deb 19-Mar-2024 23:08 92948 libcvc5-dev_1.1.2-2_riscv64.deb 21-Mar-2024 11:14 92956 libcvc5parser1_1.0.3-1_amd64.deb 20-Dec-2022 05:55 306872 libcvc5parser1_1.0.3-1_arm64.deb 20-Dec-2022 05:29 273148 libcvc5parser1_1.1.2-2_amd64.deb 20-Mar-2024 01:42 234136 libcvc5parser1_1.1.2-2_arm64.deb 20-Mar-2024 02:29 205936 libcvc5parser1_1.1.2-2_armel.deb 19-Mar-2024 23:13 197328 libcvc5parser1_1.1.2-2_armhf.deb 19-Mar-2024 23:29 204520 libcvc5parser1_1.1.2-2_i386.deb 19-Mar-2024 23:08 253676 libcvc5parser1_1.1.2-2_riscv64.deb 21-Mar-2024 11:14 224416 python3-cvc5_1.1.2-2_amd64.deb 20-Mar-2024 01:42 328644 python3-cvc5_1.1.2-2_arm64.deb 20-Mar-2024 02:29 298012 python3-cvc5_1.1.2-2_armel.deb 19-Mar-2024 23:13 302100 python3-cvc5_1.1.2-2_armhf.deb 19-Mar-2024 23:29 306860 python3-cvc5_1.1.2-2_i386.deb 19-Mar-2024 23:08 315024 python3-cvc5_1.1.2-2_riscv64.deb 21-Mar-2024 11:14 321984