../ cvc5_1.0.3-1.debian.tar.xz 20-Dec-2022 11:29 5964 cvc5_1.0.3-1.dsc 20-Dec-2022 11:29 2305 cvc5_1.0.3-1_arm64.deb 20-Dec-2022 12:49 90118 cvc5_1.0.3-1_ppc64el.deb 20-Dec-2022 11:49 94728 cvc5_1.0.3-1_riscv64.deb 20-Dec-2022 14:48 103508 cvc5_1.0.3-1_s390x.deb 20-Dec-2022 11:49 92442 cvc5_1.0.3.orig.tar.gz 20-Dec-2022 11:29 8335175 cvc5_1.0.5-3.debian.tar.xz 24-Jun-2023 11:45 7072 cvc5_1.0.5-3.dsc 24-Jun-2023 11:45 2495 cvc5_1.0.5-3_arm64.deb 25-Jun-2023 08:04 81796 cvc5_1.0.5-3_ppc64el.deb 25-Jun-2023 08:04 86296 cvc5_1.0.5-3_riscv64.deb 25-Jun-2023 08:04 95544 cvc5_1.0.5-3_s390x.deb 25-Jun-2023 08:04 85610 cvc5_1.0.5.orig.tar.gz 20-Jun-2023 23:39 8431503 cvc5_1.1.2-1build1.debian.tar.xz 31-Mar-2024 18:36 6576 cvc5_1.1.2-1build1.dsc 31-Mar-2024 18:36 2589 cvc5_1.1.2-1build1_arm64.deb 02-Apr-2024 04:06 87912 cvc5_1.1.2-1build1_armhf.deb 02-Apr-2024 01:08 104214 cvc5_1.1.2-1build1_ppc64el.deb 02-Apr-2024 05:58 93370 cvc5_1.1.2-1build1_riscv64.deb 04-Apr-2024 02:27 105312 cvc5_1.1.2-1build1_s390x.deb 02-Apr-2024 11:03 95924 cvc5_1.1.2-2.debian.tar.xz 03-May-2024 01:55 7396 cvc5_1.1.2-2.dsc 03-May-2024 01:55 2470 cvc5_1.1.2-2_arm64.deb 03-May-2024 08:35 88082 cvc5_1.1.2-2_armhf.deb 09-May-2024 11:31 104776 cvc5_1.1.2-2_ppc64el.deb 03-May-2024 03:31 93212 cvc5_1.1.2-2_riscv64.deb 06-May-2024 11:59 105302 cvc5_1.1.2-2_s390x.deb 03-May-2024 04:30 94618 cvc5_1.1.2.orig.tar.gz 03-Mar-2024 11:23 8581968 libcvc5-1_1.0.3-1_arm64.deb 20-Dec-2022 12:49 4357562 libcvc5-1_1.0.3-1_ppc64el.deb 20-Dec-2022 11:49 4736376 libcvc5-1_1.0.3-1_riscv64.deb 20-Dec-2022 14:48 6581766 libcvc5-1_1.0.3-1_s390x.deb 20-Dec-2022 11:49 4497840 libcvc5-1_1.0.5-3_arm64.deb 25-Jun-2023 08:04 4355088 libcvc5-1_1.0.5-3_ppc64el.deb 25-Jun-2023 08:04 4734940 libcvc5-1_1.0.5-3_riscv64.deb 25-Jun-2023 08:04 6668892 libcvc5-1_1.0.5-3_s390x.deb 25-Jun-2023 08:04 4514006 libcvc5-1_1.1.2-1build1_arm64.deb 02-Apr-2024 04:06 4693310 libcvc5-1_1.1.2-1build1_armhf.deb 02-Apr-2024 01:08 6239846 libcvc5-1_1.1.2-1build1_ppc64el.deb 02-Apr-2024 05:58 5111568 libcvc5-1_1.1.2-1build1_riscv64.deb 04-Apr-2024 02:27 7211394 libcvc5-1_1.1.2-1build1_s390x.deb 02-Apr-2024 11:03 5495320 libcvc5-1_1.1.2-2_arm64.deb 03-May-2024 08:35 4701810 libcvc5-1_1.1.2-2_armhf.deb 09-May-2024 11:31 6314396 libcvc5-1_1.1.2-2_ppc64el.deb 03-May-2024 03:31 5095562 libcvc5-1_1.1.2-2_riscv64.deb 06-May-2024 11:59 7211444 libcvc5-1_1.1.2-2_s390x.deb 03-May-2024 04:30 5459006 libcvc5-dev_1.0.3-1_arm64.deb 20-Dec-2022 12:49 52766 libcvc5-dev_1.0.3-1_ppc64el.deb 20-Dec-2022 11:49 52772 libcvc5-dev_1.0.3-1_riscv64.deb 20-Dec-2022 14:48 52766 libcvc5-dev_1.0.3-1_s390x.deb 20-Dec-2022 11:49 52762 libcvc5-dev_1.0.5-3_arm64.deb 25-Jun-2023 08:04 54480 libcvc5-dev_1.0.5-3_ppc64el.deb 25-Jun-2023 08:04 54494 libcvc5-dev_1.0.5-3_riscv64.deb 25-Jun-2023 08:04 54488 libcvc5-dev_1.0.5-3_s390x.deb 25-Jun-2023 08:04 54484 libcvc5-dev_1.1.2-1build1_arm64.deb 02-Apr-2024 04:06 84202 libcvc5-dev_1.1.2-1build1_armhf.deb 02-Apr-2024 01:08 84212 libcvc5-dev_1.1.2-1build1_ppc64el.deb 02-Apr-2024 05:58 84210 libcvc5-dev_1.1.2-1build1_riscv64.deb 04-Apr-2024 02:27 84204 libcvc5-dev_1.1.2-1build1_s390x.deb 02-Apr-2024 11:03 84222 libcvc5-dev_1.1.2-2_arm64.deb 03-May-2024 08:35 84200 libcvc5-dev_1.1.2-2_armhf.deb 09-May-2024 11:31 84214 libcvc5-dev_1.1.2-2_ppc64el.deb 03-May-2024 03:31 84210 libcvc5-dev_1.1.2-2_riscv64.deb 06-May-2024 11:59 84200 libcvc5-dev_1.1.2-2_s390x.deb 03-May-2024 04:30 84222 libcvc5parser1_1.0.3-1_arm64.deb 20-Dec-2022 12:49 284416 libcvc5parser1_1.0.3-1_ppc64el.deb 20-Dec-2022 11:49 310868 libcvc5parser1_1.0.3-1_riscv64.deb 20-Dec-2022 14:48 314300 libcvc5parser1_1.0.3-1_s390x.deb 20-Dec-2022 11:49 281136 libcvc5parser1_1.0.5-3_arm64.deb 25-Jun-2023 08:04 324318 libcvc5parser1_1.0.5-3_ppc64el.deb 25-Jun-2023 08:04 357576 libcvc5parser1_1.0.5-3_riscv64.deb 25-Jun-2023 08:04 376434 libcvc5parser1_1.0.5-3_s390x.deb 25-Jun-2023 08:04 322852 libcvc5parser1_1.1.2-1build1_arm64.deb 02-Apr-2024 04:06 198216 libcvc5parser1_1.1.2-1build1_armhf.deb 02-Apr-2024 01:08 217032 libcvc5parser1_1.1.2-1build1_ppc64el.deb 02-Apr-2024 05:58 218342 libcvc5parser1_1.1.2-1build1_riscv64.deb 04-Apr-2024 02:27 237550 libcvc5parser1_1.1.2-1build1_s390x.deb 02-Apr-2024 11:03 217616 libcvc5parser1_1.1.2-2_arm64.deb 03-May-2024 08:35 198586 libcvc5parser1_1.1.2-2_armhf.deb 09-May-2024 11:31 220354 libcvc5parser1_1.1.2-2_ppc64el.deb 03-May-2024 03:31 216318 libcvc5parser1_1.1.2-2_riscv64.deb 06-May-2024 11:59 237934 libcvc5parser1_1.1.2-2_s390x.deb 03-May-2024 04:30 215438 python3-cvc5_1.0.5-3_arm64.deb 25-Jun-2023 08:04 223546 python3-cvc5_1.0.5-3_ppc64el.deb 25-Jun-2023 08:04 232454 python3-cvc5_1.0.5-3_riscv64.deb 25-Jun-2023 08:04 232096 python3-cvc5_1.0.5-3_s390x.deb 25-Jun-2023 08:04 222160 python3-cvc5_1.1.2-1build1_arm64.deb 02-Apr-2024 04:06 336332 python3-cvc5_1.1.2-1build1_armhf.deb 02-Apr-2024 01:08 349332 python3-cvc5_1.1.2-1build1_ppc64el.deb 02-Apr-2024 05:58 331878 python3-cvc5_1.1.2-1build1_riscv64.deb 04-Apr-2024 02:27 349290 python3-cvc5_1.1.2-1build1_s390x.deb 02-Apr-2024 11:03 391036 python3-cvc5_1.1.2-2_arm64.deb 03-May-2024 08:35 335824 python3-cvc5_1.1.2-2_armhf.deb 09-May-2024 11:31 350500 python3-cvc5_1.1.2-2_ppc64el.deb 03-May-2024 03:31 331624 python3-cvc5_1.1.2-2_riscv64.deb 06-May-2024 11:59 349274 python3-cvc5_1.1.2-2_s390x.deb 03-May-2024 04:30 392952