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/cvc4/
../ cvc4_1.6-2+b1_amd64.deb 17-Nov-2018 09:57 136244 cvc4_1.6-2+b1_i386.deb 17-Nov-2018 02:59 139464 cvc4_1.6-2.debian.tar.xz 13-Aug-2018 20:01 8232 cvc4_1.6-2.dsc 13-Aug-2018 20:01 2652 cvc4_1.6.orig.tar.gz 07-Aug-2018 19:44 7815893 cvc4_1.8-2.debian.tar.xz 18-Sep-2020 01:25 16456 cvc4_1.8-2.dsc 18-Sep-2020 01:25 2275 cvc4_1.8-2_amd64.deb 18-Sep-2020 02:11 81488 cvc4_1.8-2_arm64.deb 18-Sep-2020 02:27 76064 cvc4_1.8-2_armel.deb 18-Sep-2020 04:29 74320 cvc4_1.8-2_armhf.deb 18-Sep-2020 02:32 75652 cvc4_1.8-2_i386.deb 18-Sep-2020 02:42 82548 cvc4_1.8-2_mips64el.deb 18-Sep-2020 08:01 74064 cvc4_1.8-2_mipsel.deb 18-Sep-2020 05:44 74388 cvc4_1.8-2_ppc64el.deb 18-Sep-2020 02:11 80124 cvc4_1.8-2_s390x.deb 18-Sep-2020 07:10 76024 cvc4_1.8-3+b4_amd64.deb 07-Apr-2025 16:25 82828 cvc4_1.8-3+b4_arm64.deb 08-Apr-2025 01:42 76652 cvc4_1.8-3+b4_armel.deb 08-Apr-2025 01:21 75524 cvc4_1.8-3+b4_armhf.deb 07-Apr-2025 17:16 77204 cvc4_1.8-3+b4_i386.deb 07-Apr-2025 16:36 85028 cvc4_1.8-3+b4_mips64el.deb 08-Apr-2025 03:12 77932 cvc4_1.8-3+b4_ppc64el.deb 07-Apr-2025 16:30 80800 cvc4_1.8-3+b4_riscv64.deb 10-Apr-2025 03:49 79248 cvc4_1.8-3+b4_s390x.deb 07-Apr-2025 17:44 79768 cvc4_1.8-3.debian.tar.xz 29-Oct-2022 19:57 16728 cvc4_1.8-3.dsc 29-Oct-2022 19:57 2244 cvc4_1.8-3_amd64.deb 29-Oct-2022 21:29 80688 cvc4_1.8-3_arm64.deb 29-Oct-2022 21:47 75564 cvc4_1.8-3_armel.deb 29-Oct-2022 21:57 74128 cvc4_1.8-3_armhf.deb 29-Oct-2022 21:47 75108 cvc4_1.8-3_i386.deb 29-Oct-2022 21:23 82652 cvc4_1.8-3_mips64el.deb 30-Oct-2022 01:59 73904 cvc4_1.8-3_mipsel.deb 29-Oct-2022 22:12 74096 cvc4_1.8-3_ppc64el.deb 29-Oct-2022 21:42 80404 cvc4_1.8-3_s390x.deb 29-Oct-2022 21:39 75768 cvc4_1.8.orig.tar.gz 13-Sep-2020 23:17 7547187 libcvc4-5_1.6-2+b1_amd64.deb 17-Nov-2018 09:57 4056556 libcvc4-5_1.6-2+b1_i386.deb 17-Nov-2018 02:59 4507864 libcvc4-7_1.8-2_amd64.deb 18-Sep-2020 02:11 5651716 libcvc4-7_1.8-2_arm64.deb 18-Sep-2020 02:27 4783836 libcvc4-7_1.8-2_armel.deb 18-Sep-2020 04:29 4871636 libcvc4-7_1.8-2_armhf.deb 18-Sep-2020 02:32 4989728 libcvc4-7_1.8-2_i386.deb 18-Sep-2020 02:42 6152812 libcvc4-7_1.8-2_mips64el.deb 18-Sep-2020 08:01 4137100 libcvc4-7_1.8-2_mipsel.deb 18-Sep-2020 05:44 4270692 libcvc4-7_1.8-2_ppc64el.deb 18-Sep-2020 02:11 5351636 libcvc4-7_1.8-2_s390x.deb 18-Sep-2020 07:10 5067456 libcvc4-7_1.8-3+b4_amd64.deb 07-Apr-2025 16:25 6616160 libcvc4-7_1.8-3+b4_arm64.deb 08-Apr-2025 01:42 5656244 libcvc4-7_1.8-3+b4_armel.deb 08-Apr-2025 01:21 5524316 libcvc4-7_1.8-3+b4_armhf.deb 07-Apr-2025 17:16 5580168 libcvc4-7_1.8-3+b4_i386.deb 07-Apr-2025 16:36 7176192 libcvc4-7_1.8-3+b4_mips64el.deb 08-Apr-2025 03:12 4942364 libcvc4-7_1.8-3+b4_ppc64el.deb 07-Apr-2025 16:30 6176332 libcvc4-7_1.8-3+b4_riscv64.deb 10-Apr-2025 03:49 6548720 libcvc4-7_1.8-3+b4_s390x.deb 07-Apr-2025 17:44 6715640 libcvc4-7_1.8-3_amd64.deb 29-Oct-2022 21:29 5936792 libcvc4-7_1.8-3_arm64.deb 29-Oct-2022 21:47 4997468 libcvc4-7_1.8-3_armel.deb 29-Oct-2022 21:57 5225988 libcvc4-7_1.8-3_armhf.deb 29-Oct-2022 21:47 5299080 libcvc4-7_1.8-3_i386.deb 29-Oct-2022 21:23 6700704 libcvc4-7_1.8-3_mips64el.deb 30-Oct-2022 01:59 4441684 libcvc4-7_1.8-3_mipsel.deb 29-Oct-2022 22:12 4571148 libcvc4-7_1.8-3_ppc64el.deb 29-Oct-2022 21:42 5652044 libcvc4-7_1.8-3_s390x.deb 29-Oct-2022 21:39 5327356 libcvc4-dev_1.6-2+b1_amd64.deb 17-Nov-2018 09:57 6718020 libcvc4-dev_1.6-2+b1_i386.deb 17-Nov-2018 02:59 7208884 libcvc4-dev_1.8-2_amd64.deb 18-Sep-2020 02:11 131264 libcvc4-dev_1.8-2_arm64.deb 18-Sep-2020 02:27 131268 libcvc4-dev_1.8-2_armel.deb 18-Sep-2020 04:29 131248 libcvc4-dev_1.8-2_armhf.deb 18-Sep-2020 02:32 131256 libcvc4-dev_1.8-2_i386.deb 18-Sep-2020 02:42 131252 libcvc4-dev_1.8-2_mips64el.deb 18-Sep-2020 08:01 131260 libcvc4-dev_1.8-2_mipsel.deb 18-Sep-2020 05:44 131256 libcvc4-dev_1.8-2_ppc64el.deb 18-Sep-2020 02:11 131256 libcvc4-dev_1.8-2_s390x.deb 18-Sep-2020 07:10 131264 libcvc4-dev_1.8-3+b4_amd64.deb 07-Apr-2025 16:25 131428 libcvc4-dev_1.8-3+b4_arm64.deb 08-Apr-2025 01:42 131416 libcvc4-dev_1.8-3+b4_armel.deb 08-Apr-2025 01:21 131420 libcvc4-dev_1.8-3+b4_armhf.deb 07-Apr-2025 17:16 131396 libcvc4-dev_1.8-3+b4_i386.deb 07-Apr-2025 16:36 131408 libcvc4-dev_1.8-3+b4_mips64el.deb 08-Apr-2025 03:12 131444 libcvc4-dev_1.8-3+b4_ppc64el.deb 07-Apr-2025 16:30 131396 libcvc4-dev_1.8-3+b4_riscv64.deb 10-Apr-2025 03:49 131448 libcvc4-dev_1.8-3+b4_s390x.deb 07-Apr-2025 17:44 131408 libcvc4-dev_1.8-3_amd64.deb 29-Oct-2022 21:29 131112 libcvc4-dev_1.8-3_arm64.deb 29-Oct-2022 21:47 131120 libcvc4-dev_1.8-3_armel.deb 29-Oct-2022 21:57 131104 libcvc4-dev_1.8-3_armhf.deb 29-Oct-2022 21:47 131116 libcvc4-dev_1.8-3_i386.deb 29-Oct-2022 21:23 131112 libcvc4-dev_1.8-3_mips64el.deb 30-Oct-2022 01:59 131124 libcvc4-dev_1.8-3_mipsel.deb 29-Oct-2022 22:12 131112 libcvc4-dev_1.8-3_ppc64el.deb 29-Oct-2022 21:42 131120 libcvc4-dev_1.8-3_s390x.deb 29-Oct-2022 21:39 131112 libcvc4parser5_1.6-2+b1_amd64.deb 17-Nov-2018 09:57 362516 libcvc4parser5_1.6-2+b1_i386.deb 17-Nov-2018 02:59 389524 libcvc4parser7_1.8-2_amd64.deb 18-Sep-2020 02:11 366212 libcvc4parser7_1.8-2_arm64.deb 18-Sep-2020 02:27 328200 libcvc4parser7_1.8-2_armel.deb 18-Sep-2020 04:29 323824 libcvc4parser7_1.8-2_armhf.deb 18-Sep-2020 02:32 328140 libcvc4parser7_1.8-2_i386.deb 18-Sep-2020 02:42 382484 libcvc4parser7_1.8-2_mips64el.deb 18-Sep-2020 08:01 303980 libcvc4parser7_1.8-2_mipsel.deb 18-Sep-2020 05:44 305504 libcvc4parser7_1.8-2_ppc64el.deb 18-Sep-2020 02:11 358484 libcvc4parser7_1.8-2_s390x.deb 18-Sep-2020 07:10 323892 libcvc4parser7_1.8-3+b4_amd64.deb 07-Apr-2025 16:25 382200 libcvc4parser7_1.8-3+b4_arm64.deb 08-Apr-2025 01:42 333588 libcvc4parser7_1.8-3+b4_armel.deb 08-Apr-2025 01:21 334908 libcvc4parser7_1.8-3+b4_armhf.deb 07-Apr-2025 17:16 346668 libcvc4parser7_1.8-3+b4_i386.deb 07-Apr-2025 16:36 411984 libcvc4parser7_1.8-3+b4_mips64el.deb 08-Apr-2025 03:12 316124 libcvc4parser7_1.8-3+b4_ppc64el.deb 07-Apr-2025 16:30 364708 libcvc4parser7_1.8-3+b4_riscv64.deb 10-Apr-2025 03:49 371428 libcvc4parser7_1.8-3+b4_s390x.deb 07-Apr-2025 17:44 398752 libcvc4parser7_1.8-3_amd64.deb 29-Oct-2022 21:29 362304 libcvc4parser7_1.8-3_arm64.deb 29-Oct-2022 21:47 322668 libcvc4parser7_1.8-3_armel.deb 29-Oct-2022 21:57 317304 libcvc4parser7_1.8-3_armhf.deb 29-Oct-2022 21:47 329652 libcvc4parser7_1.8-3_i386.deb 29-Oct-2022 21:23 387704 libcvc4parser7_1.8-3_mips64el.deb 30-Oct-2022 01:59 303136 libcvc4parser7_1.8-3_mipsel.deb 29-Oct-2022 22:12 310600 libcvc4parser7_1.8-3_ppc64el.deb 29-Oct-2022 21:42 356100 libcvc4parser7_1.8-3_s390x.deb 29-Oct-2022 21:39 323124