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+b3_amd64.deb 24-Mar-2024 10:12 82420 cvc4_1.8-3+b3_arm64.deb 24-Mar-2024 12:33 76460 cvc4_1.8-3+b3_armel.deb 28-Mar-2024 21:13 75264 cvc4_1.8-3+b3_armhf.deb 28-Mar-2024 13:54 76372 cvc4_1.8-3+b3_i386.deb 24-Mar-2024 10:18 84256 cvc4_1.8-3+b3_mips64el.deb 25-Mar-2024 13:15 74864 cvc4_1.8-3+b3_ppc64el.deb 24-Mar-2024 09:46 80760 cvc4_1.8-3+b3_riscv64.deb 25-Mar-2024 04:54 79212 cvc4_1.8-3+b3_s390x.deb 24-Mar-2024 10:44 79856 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+b3_amd64.deb 24-Mar-2024 10:12 5991868 libcvc4-7_1.8-3+b3_arm64.deb 24-Mar-2024 12:33 5070564 libcvc4-7_1.8-3+b3_armel.deb 28-Mar-2024 21:13 5280432 libcvc4-7_1.8-3+b3_armhf.deb 28-Mar-2024 13:54 5345408 libcvc4-7_1.8-3+b3_i386.deb 24-Mar-2024 10:18 6701640 libcvc4-7_1.8-3+b3_mips64el.deb 25-Mar-2024 13:15 4446680 libcvc4-7_1.8-3+b3_ppc64el.deb 24-Mar-2024 09:46 5657596 libcvc4-7_1.8-3+b3_riscv64.deb 25-Mar-2024 04:54 6027084 libcvc4-7_1.8-3+b3_s390x.deb 24-Mar-2024 10:44 6101396 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+b3_amd64.deb 24-Mar-2024 10:12 131408 libcvc4-dev_1.8-3+b3_arm64.deb 24-Mar-2024 12:33 131400 libcvc4-dev_1.8-3+b3_armel.deb 28-Mar-2024 21:13 131424 libcvc4-dev_1.8-3+b3_armhf.deb 28-Mar-2024 13:54 131404 libcvc4-dev_1.8-3+b3_i386.deb 24-Mar-2024 10:18 131360 libcvc4-dev_1.8-3+b3_mips64el.deb 25-Mar-2024 13:15 131420 libcvc4-dev_1.8-3+b3_ppc64el.deb 24-Mar-2024 09:46 131440 libcvc4-dev_1.8-3+b3_riscv64.deb 25-Mar-2024 04:54 131412 libcvc4-dev_1.8-3+b3_s390x.deb 24-Mar-2024 10:44 131416 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+b3_amd64.deb 24-Mar-2024 10:12 365528 libcvc4parser7_1.8-3+b3_arm64.deb 24-Mar-2024 12:33 321428 libcvc4parser7_1.8-3+b3_armel.deb 28-Mar-2024 21:13 320384 libcvc4parser7_1.8-3+b3_armhf.deb 28-Mar-2024 13:54 330004 libcvc4parser7_1.8-3+b3_i386.deb 24-Mar-2024 10:18 393812 libcvc4parser7_1.8-3+b3_mips64el.deb 25-Mar-2024 13:15 300908 libcvc4parser7_1.8-3+b3_ppc64el.deb 24-Mar-2024 09:46 352760 libcvc4parser7_1.8-3+b3_riscv64.deb 25-Mar-2024 04:54 353528 libcvc4parser7_1.8-3+b3_s390x.deb 24-Mar-2024 10:44 380588 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