This mirror is donated by creoline GmbH. If you wish to report a bug or request listing please feel free to contact us at mirror@creoline.de
../ cryptominisat_5.11.4+dfsg1-2.debian.tar.xz 03-Nov-2022 19:09 5360 cryptominisat_5.11.4+dfsg1-2.dsc 03-Nov-2022 19:09 2459 cryptominisat_5.11.4+dfsg1-2_amd64.deb 03-Nov-2022 20:15 76572 cryptominisat_5.11.4+dfsg1-2_arm64.deb 03-Nov-2022 19:44 70500 cryptominisat_5.11.4+dfsg1-2_armel.deb 03-Nov-2022 20:15 66980 cryptominisat_5.11.4+dfsg1-2_armhf.deb 03-Nov-2022 19:59 68480 cryptominisat_5.11.4+dfsg1-2_i386.deb 03-Nov-2022 20:09 80696 cryptominisat_5.11.4+dfsg1-2_mips64el.deb 03-Nov-2022 21:42 71728 cryptominisat_5.11.4+dfsg1-2_mipsel.deb 03-Nov-2022 20:56 72948 cryptominisat_5.11.4+dfsg1-2_ppc64el.deb 04-Nov-2022 01:14 78324 cryptominisat_5.11.4+dfsg1-2_s390x.deb 04-Nov-2022 10:29 70448 cryptominisat_5.11.4+dfsg1.orig.tar.xz 28-Oct-2022 21:20 530220 cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 12-Dec-2020 14:13 88028 cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 12:00 82508 cryptominisat_5.8.0+dfsg1-1+b3_armel.deb 12-Dec-2020 13:11 79856 cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb 12-Dec-2020 15:26 82132 cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 12-Dec-2020 14:39 93104 cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb 12-Dec-2020 23:25 82564 cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb 13-Dec-2020 10:56 84864 cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb 12-Dec-2020 16:28 91652 cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb 12-Dec-2020 21:57 83332 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz 11-Jul-2020 14:16 6188 cryptominisat_5.8.0+dfsg1-1.dsc 11-Jul-2020 14:16 2408 cryptominisat_5.8.0+dfsg1.orig.tar.xz 11-Jul-2020 14:16 451304 libcryptominisat5-5.11_5.11.4+dfsg1-2_amd64.deb 03-Nov-2022 20:15 501856 libcryptominisat5-5.11_5.11.4+dfsg1-2_arm64.deb 03-Nov-2022 19:44 450720 libcryptominisat5-5.11_5.11.4+dfsg1-2_armel.deb 03-Nov-2022 20:15 443380 libcryptominisat5-5.11_5.11.4+dfsg1-2_armhf.deb 03-Nov-2022 19:59 460700 libcryptominisat5-5.11_5.11.4+dfsg1-2_i386.deb 03-Nov-2022 20:09 527896 libcryptominisat5-5.11_5.11.4+dfsg1-2_mips64el.deb 03-Nov-2022 21:42 473548 libcryptominisat5-5.11_5.11.4+dfsg1-2_mipsel.deb 03-Nov-2022 20:56 488104 libcryptominisat5-5.11_5.11.4+dfsg1-2_ppc64el.deb 04-Nov-2022 01:14 542288 libcryptominisat5-5.11_5.11.4+dfsg1-2_s390x.deb 04-Nov-2022 10:29 459204 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb 12-Dec-2020 14:13 416028 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 12:00 378996 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb 12-Dec-2020 13:11 374464 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb 12-Dec-2020 15:26 384732 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb 12-Dec-2020 14:39 441940 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el..> 12-Dec-2020 23:25 398356 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb 13-Dec-2020 10:56 414916 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb 12-Dec-2020 16:28 455712 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb 12-Dec-2020 21:57 381344 libcryptominisat5-dev_5.11.4+dfsg1-2_amd64.deb 03-Nov-2022 20:15 18012 libcryptominisat5-dev_5.11.4+dfsg1-2_arm64.deb 03-Nov-2022 19:44 18008 libcryptominisat5-dev_5.11.4+dfsg1-2_armel.deb 03-Nov-2022 20:15 18008 libcryptominisat5-dev_5.11.4+dfsg1-2_armhf.deb 03-Nov-2022 19:59 18016 libcryptominisat5-dev_5.11.4+dfsg1-2_i386.deb 03-Nov-2022 20:09 18012 libcryptominisat5-dev_5.11.4+dfsg1-2_mips64el.deb 03-Nov-2022 21:42 18020 libcryptominisat5-dev_5.11.4+dfsg1-2_mipsel.deb 03-Nov-2022 20:56 18020 libcryptominisat5-dev_5.11.4+dfsg1-2_ppc64el.deb 04-Nov-2022 01:14 18016 libcryptominisat5-dev_5.11.4+dfsg1-2_s390x.deb 04-Nov-2022 10:29 18012 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb 12-Dec-2020 14:13 13976 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 12:00 13944 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb 12-Dec-2020 13:11 13956 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb 12-Dec-2020 15:26 13944 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb 12-Dec-2020 14:39 13944 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el..> 12-Dec-2020 23:25 13952 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb 13-Dec-2020 10:56 13940 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb 12-Dec-2020 16:28 13956 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb 12-Dec-2020 21:57 13944 python3-cryptominisat_5.11.4+dfsg1-2_amd64.deb 03-Nov-2022 20:15 532432 python3-cryptominisat_5.11.4+dfsg1-2_arm64.deb 03-Nov-2022 19:44 489668 python3-cryptominisat_5.11.4+dfsg1-2_armel.deb 03-Nov-2022 20:15 472852 python3-cryptominisat_5.11.4+dfsg1-2_armhf.deb 03-Nov-2022 19:59 484036 python3-cryptominisat_5.11.4+dfsg1-2_i386.deb 03-Nov-2022 20:09 589168 python3-cryptominisat_5.11.4+dfsg1-2_mips64el.deb 03-Nov-2022 21:42 505764 python3-cryptominisat_5.11.4+dfsg1-2_mipsel.deb 03-Nov-2022 20:56 523084 python3-cryptominisat_5.11.4+dfsg1-2_ppc64el.deb 04-Nov-2022 01:14 568440 python3-cryptominisat_5.11.4+dfsg1-2_s390x.deb 04-Nov-2022 10:29 493896 python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 12-Dec-2020 14:13 19152 python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 12-Dec-2020 12:00 18776 python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb 12-Dec-2020 13:11 17940 python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb 12-Dec-2020 15:26 18008 python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 12-Dec-2020 14:39 19944 python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el..> 12-Dec-2020 23:25 19236 python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb 13-Dec-2020 10:56 19164 python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb 12-Dec-2020 16:28 20140 python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb 12-Dec-2020 21:57 18664