Welcome to mirror.aminidc.com
HTTP : http://mirror.aminidc.comFTP : ftp://mirror.aminidc.com
RSYNC : rsync://mirror.aminidc.com
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-3.debian.tar.xz 27-Jul-2025 12:11 7392 cvc5_1.1.2-3.dsc 27-Jul-2025 12:11 2460 cvc5_1.1.2-3_amd64.deb 11-Aug-2025 13:32 107800 cvc5_1.1.2-3_arm64.deb 11-Aug-2025 13:44 97248 cvc5_1.1.2-3_armel.deb 11-Aug-2025 14:00 98628 cvc5_1.1.2-3_armhf.deb 11-Aug-2025 13:39 100644 cvc5_1.1.2-3_i386.deb 11-Aug-2025 13:39 111452 cvc5_1.1.2-3_mips64el.deb 12-Aug-2025 08:11 91804 cvc5_1.1.2-3_ppc64el.deb 11-Aug-2025 13:39 103324 cvc5_1.1.2-3_riscv64.deb 13-Aug-2025 00:41 101760 cvc5_1.1.2-3_s390x.deb 11-Aug-2025 16:04 108220 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_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.1.2-3_amd64.deb 11-Aug-2025 13:32 6691376 libcvc5-1_1.1.2-3_arm64.deb 11-Aug-2025 13:44 5714412 libcvc5-1_1.1.2-3_armel.deb 11-Aug-2025 14:00 5804376 libcvc5-1_1.1.2-3_armhf.deb 11-Aug-2025 13:39 5695820 libcvc5-1_1.1.2-3_i386.deb 11-Aug-2025 13:39 7260884 libcvc5-1_1.1.2-3_mips64el.deb 12-Aug-2025 08:11 5379908 libcvc5-1_1.1.2-3_ppc64el.deb 11-Aug-2025 13:39 6288052 libcvc5-1_1.1.2-3_riscv64.deb 13-Aug-2025 00:41 6706904 libcvc5-1_1.1.2-3_s390x.deb 11-Aug-2025 16:04 6793984 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.1.2-3_amd64.deb 11-Aug-2025 13:32 93084 libcvc5-dev_1.1.2-3_arm64.deb 11-Aug-2025 13:44 93084 libcvc5-dev_1.1.2-3_armel.deb 11-Aug-2025 14:00 93088 libcvc5-dev_1.1.2-3_armhf.deb 11-Aug-2025 13:39 93088 libcvc5-dev_1.1.2-3_i386.deb 11-Aug-2025 13:39 93088 libcvc5-dev_1.1.2-3_mips64el.deb 12-Aug-2025 08:11 93092 libcvc5-dev_1.1.2-3_ppc64el.deb 11-Aug-2025 13:39 93088 libcvc5-dev_1.1.2-3_riscv64.deb 13-Aug-2025 00:41 93088 libcvc5-dev_1.1.2-3_s390x.deb 11-Aug-2025 16:04 93092 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.1.2-3_amd64.deb 11-Aug-2025 13:32 237464 libcvc5parser1_1.1.2-3_arm64.deb 11-Aug-2025 13:44 208244 libcvc5parser1_1.1.2-3_armel.deb 11-Aug-2025 14:00 201692 libcvc5parser1_1.1.2-3_armhf.deb 11-Aug-2025 13:39 208396 libcvc5parser1_1.1.2-3_i386.deb 11-Aug-2025 13:39 258976 libcvc5parser1_1.1.2-3_mips64el.deb 12-Aug-2025 08:11 204752 libcvc5parser1_1.1.2-3_ppc64el.deb 11-Aug-2025 13:39 232676 libcvc5parser1_1.1.2-3_riscv64.deb 13-Aug-2025 00:41 228148 libcvc5parser1_1.1.2-3_s390x.deb 11-Aug-2025 16:04 231744 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.1.2-3_amd64.deb 11-Aug-2025 13:32 340568 python3-cvc5_1.1.2-3_arm64.deb 11-Aug-2025 13:44 297776 python3-cvc5_1.1.2-3_armel.deb 11-Aug-2025 14:00 310996 python3-cvc5_1.1.2-3_armhf.deb 11-Aug-2025 13:39 317100 python3-cvc5_1.1.2-3_i386.deb 11-Aug-2025 13:39 324596 python3-cvc5_1.1.2-3_mips64el.deb 12-Aug-2025 08:11 250856 python3-cvc5_1.1.2-3_ppc64el.deb 11-Aug-2025 13:39 297772 python3-cvc5_1.1.2-3_riscv64.deb 13-Aug-2025 00:41 328460 python3-cvc5_1.1.2-3_s390x.deb 11-Aug-2025 16:04 330896