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_mips64el.deb 09-Jan-2025 13:59 92444 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 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_mips64el.deb 09-Jan-2025 13:59 5369172 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-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_mips64el.deb 09-Jan-2025 13:59 93260 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 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_mips64el.deb 09-Jan-2025 13:59 204208 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 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_mips64el.deb 09-Jan-2025 13:59 251312 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