Welcome to NYCU CSIT Mirror site
Index of /debian/pool/main/c/cvc5/
../ 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-1_ppc64el.deb 20-Dec-2022 05:45 105020 cvc5_1.0.3-1_s390x.deb 20-Dec-2022 12:13 97308 cvc5_1.0.3.orig.tar.gz 20-Dec-2022 03:26 8335175 cvc5_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 109176 cvc5_1.1.2-2+b3_arm64.deb 09-Jan-2025 11:31 97292 cvc5_1.1.2-2+b3_armel.deb 09-Jan-2025 12:48 98688 cvc5_1.1.2-2+b3_armhf.deb 09-Jan-2025 12:32 101064 cvc5_1.1.2-2+b3_i386.deb 09-Jan-2025 11:05 111940 cvc5_1.1.2-2+b3_ppc64el.deb 09-Jan-2025 10:55 104084 cvc5_1.1.2-2+b3_riscv64.deb 12-Jan-2025 20:01 101792 cvc5_1.1.2-2+b3_s390x.deb 09-Jan-2025 23:43 108024 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.orig.tar.gz 03-Mar-2024 02:53 8581968 cvc5_1.3.2-1+b1_riscv64.deb 17-May-2026 15:15 133116 cvc5_1.3.2-1+b2_amd64.deb 28-Jun-2026 22:49 144184 cvc5_1.3.2-1+b2_arm64.deb 28-Jun-2026 20:43 128492 cvc5_1.3.2-1+b2_armhf.deb 28-Jun-2026 19:24 132052 cvc5_1.3.2-1+b2_i386.deb 28-Jun-2026 23:51 145660 cvc5_1.3.2-1+b2_loong64.deb 28-Jun-2026 20:53 131940 cvc5_1.3.2-1+b2_ppc64el.deb 29-Jun-2026 00:28 136412 cvc5_1.3.2-1+b2_s390x.deb 28-Jun-2026 23:15 145688 cvc5_1.3.2-1.debian.tar.xz 24-Dec-2025 01:13 8532 cvc5_1.3.2-1.dsc 24-Dec-2025 01:13 2468 cvc5_1.3.2.orig.tar.gz 24-Dec-2025 01:13 9250970 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.0.3-1_ppc64el.deb 20-Dec-2022 05:45 5588964 libcvc5-1_1.0.3-1_s390x.deb 20-Dec-2022 12:13 5099564 libcvc5-1_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 6682620 libcvc5-1_1.1.2-2+b3_arm64.deb 09-Jan-2025 11:31 5708748 libcvc5-1_1.1.2-2+b3_armel.deb 09-Jan-2025 12:48 5782928 libcvc5-1_1.1.2-2+b3_armhf.deb 09-Jan-2025 12:32 5674364 libcvc5-1_1.1.2-2+b3_i386.deb 09-Jan-2025 11:05 7251204 libcvc5-1_1.1.2-2+b3_ppc64el.deb 09-Jan-2025 10:55 6282432 libcvc5-1_1.1.2-2+b3_riscv64.deb 12-Jan-2025 20:01 6701932 libcvc5-1_1.1.2-2+b3_s390x.deb 09-Jan-2025 23:43 6779428 libcvc5-1_1.3.2-1+b1_riscv64.deb 17-May-2026 15:15 7819784 libcvc5-1_1.3.2-1+b2_amd64.deb 28-Jun-2026 22:49 7742672 libcvc5-1_1.3.2-1+b2_arm64.deb 28-Jun-2026 20:43 6636916 libcvc5-1_1.3.2-1+b2_armhf.deb 28-Jun-2026 19:24 6543940 libcvc5-1_1.3.2-1+b2_i386.deb 28-Jun-2026 23:51 8378192 libcvc5-1_1.3.2-1+b2_loong64.deb 28-Jun-2026 20:53 7132948 libcvc5-1_1.3.2-1+b2_ppc64el.deb 29-Jun-2026 00:28 7307080 libcvc5-1_1.3.2-1+b2_s390x.deb 28-Jun-2026 23:15 7675428 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.0.3-1_ppc64el.deb 20-Dec-2022 05:45 58600 libcvc5-dev_1.0.3-1_s390x.deb 20-Dec-2022 12:13 58580 libcvc5-dev_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 93296 libcvc5-dev_1.1.2-2+b3_arm64.deb 09-Jan-2025 11:31 93260 libcvc5-dev_1.1.2-2+b3_armel.deb 09-Jan-2025 12:48 93236 libcvc5-dev_1.1.2-2+b3_armhf.deb 09-Jan-2025 12:32 93256 libcvc5-dev_1.1.2-2+b3_i386.deb 09-Jan-2025 11:05 93252 libcvc5-dev_1.1.2-2+b3_ppc64el.deb 09-Jan-2025 10:55 93268 libcvc5-dev_1.1.2-2+b3_riscv64.deb 12-Jan-2025 20:01 93252 libcvc5-dev_1.1.2-2+b3_s390x.deb 09-Jan-2025 23:43 93260 libcvc5-dev_1.3.2-1+b1_riscv64.deb 17-May-2026 15:15 124232 libcvc5-dev_1.3.2-1+b2_amd64.deb 28-Jun-2026 22:49 124252 libcvc5-dev_1.3.2-1+b2_arm64.deb 28-Jun-2026 20:43 124252 libcvc5-dev_1.3.2-1+b2_armhf.deb 28-Jun-2026 19:24 124264 libcvc5-dev_1.3.2-1+b2_i386.deb 28-Jun-2026 23:51 124240 libcvc5-dev_1.3.2-1+b2_loong64.deb 28-Jun-2026 20:53 124300 libcvc5-dev_1.3.2-1+b2_ppc64el.deb 29-Jun-2026 00:28 124276 libcvc5-dev_1.3.2-1+b2_s390x.deb 28-Jun-2026 23:15 124244 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.0.3-1_ppc64el.deb 20-Dec-2022 05:45 304436 libcvc5parser1_1.0.3-1_s390x.deb 20-Dec-2022 12:13 271212 libcvc5parser1_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 236752 libcvc5parser1_1.1.2-2+b3_arm64.deb 09-Jan-2025 11:31 207592 libcvc5parser1_1.1.2-2+b3_armel.deb 09-Jan-2025 12:48 200600 libcvc5parser1_1.1.2-2+b3_armhf.deb 09-Jan-2025 12:32 207176 libcvc5parser1_1.1.2-2+b3_i386.deb 09-Jan-2025 11:05 257908 libcvc5parser1_1.1.2-2+b3_ppc64el.deb 09-Jan-2025 10:55 232288 libcvc5parser1_1.1.2-2+b3_riscv64.deb 12-Jan-2025 20:01 226908 libcvc5parser1_1.1.2-2+b3_s390x.deb 09-Jan-2025 23:43 231424 libcvc5parser1_1.3.2-1+b1_riscv64.deb 17-May-2026 15:15 264940 libcvc5parser1_1.3.2-1+b2_amd64.deb 28-Jun-2026 22:49 272768 libcvc5parser1_1.3.2-1+b2_arm64.deb 28-Jun-2026 20:43 237508 libcvc5parser1_1.3.2-1+b2_armhf.deb 28-Jun-2026 19:24 239288 libcvc5parser1_1.3.2-1+b2_i386.deb 28-Jun-2026 23:51 293976 libcvc5parser1_1.3.2-1+b2_loong64.deb 28-Jun-2026 20:53 255252 libcvc5parser1_1.3.2-1+b2_ppc64el.deb 29-Jun-2026 00:28 266124 libcvc5parser1_1.3.2-1+b2_s390x.deb 28-Jun-2026 23:15 260648 python3-cvc5_1.1.2-2+b3_amd64.deb 09-Jan-2025 11:11 339080 python3-cvc5_1.1.2-2+b3_arm64.deb 09-Jan-2025 11:31 298164 python3-cvc5_1.1.2-2+b3_armel.deb 09-Jan-2025 12:48 311740 python3-cvc5_1.1.2-2+b3_armhf.deb 09-Jan-2025 12:32 316776 python3-cvc5_1.1.2-2+b3_i386.deb 09-Jan-2025 11:05 325448 python3-cvc5_1.1.2-2+b3_ppc64el.deb 09-Jan-2025 10:55 299148 python3-cvc5_1.1.2-2+b3_riscv64.deb 12-Jan-2025 20:01 327892 python3-cvc5_1.1.2-2+b3_s390x.deb 09-Jan-2025 23:43 329788 python3-cvc5_1.3.2-1+b1_riscv64.deb 17-May-2026 15:15 367848 python3-cvc5_1.3.2-1+b2_amd64.deb 28-Jun-2026 22:49 385560 python3-cvc5_1.3.2-1+b2_arm64.deb 28-Jun-2026 20:43 324812 python3-cvc5_1.3.2-1+b2_armhf.deb 28-Jun-2026 19:24 349520 python3-cvc5_1.3.2-1+b2_i386.deb 28-Jun-2026 23:51 374624 python3-cvc5_1.3.2-1+b2_loong64.deb 28-Jun-2026 20:53 348384 python3-cvc5_1.3.2-1+b2_ppc64el.deb 29-Jun-2026 00:28 347652 python3-cvc5_1.3.2-1+b2_s390x.deb 28-Jun-2026 23:15 358004