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
../ coq-theories_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 36501836 coq-theories_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 23925860 coq-theories_8.12.0-3+b3_armel.deb 25-Nov-2020 17:44 23913512 coq-theories_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 23918664 coq-theories_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 35237680 coq-theories_8.12.0-3+b3_mips64el.deb 25-Nov-2020 16:41 23922476 coq-theories_8.12.0-3+b3_mipsel.deb 26-Nov-2020 00:43 23914852 coq-theories_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 07:28 23920460 coq-theories_8.15.0+dfsg-1+b1_amd64.deb 20-Jan-2022 23:58 21413936 coq-theories_8.15.0+dfsg-1+b1_arm64.deb 21-Jan-2022 00:14 21415896 coq-theories_8.15.0+dfsg-1+b1_armhf.deb 21-Jan-2022 01:15 21418176 coq-theories_8.15.0+dfsg-1+b1_i386.deb 20-Jan-2022 23:48 21416088 coq-theories_8.15.0+dfsg-1+b1_ppc64el.deb 21-Jan-2022 00:40 21420244 coq-theories_8.15.0+dfsg-1+b1_s390x.deb 20-Jan-2022 23:58 21415628 coq-theories_8.4pl4dfsg-1_all.deb 27-Jul-2014 15:26 32177364 coq-theories_8.6-4_amd64.deb 30-Dec-2016 00:56 31441296 coq-theories_8.6-4_arm64.deb 30-Dec-2016 01:57 22857022 coq-theories_8.6-4_armel.deb 30-Dec-2016 03:12 22844230 coq-theories_8.6-4_armhf.deb 30-Dec-2016 03:12 22844830 coq-theories_8.6-4_i386.deb 30-Dec-2016 01:57 30400702 coq-theories_8.6-4_mips.deb 30-Dec-2016 07:57 22842806 coq-theories_8.6-4_mips64el.deb 30-Dec-2016 14:29 22853882 coq-theories_8.6-4_mipsel.deb 30-Dec-2016 07:57 22842810 coq-theories_8.6-4_ppc64el.deb 30-Dec-2016 03:57 22853882 coq-theories_8.6-4_s390x.deb 30-Dec-2016 05:27 22853880 coq-theories_8.9.0-1_amd64.deb 06-Feb-2019 18:49 29737672 coq-theories_8.9.0-1_arm64.deb 06-Feb-2019 20:26 20367676 coq-theories_8.9.0-1_armel.deb 07-Feb-2019 01:44 20356976 coq-theories_8.9.0-1_armhf.deb 07-Feb-2019 21:15 20351780 coq-theories_8.9.0-1_i386.deb 06-Feb-2019 20:21 28414968 coq-theories_8.9.0-1_mips.deb 07-Feb-2019 03:15 20356988 coq-theories_8.9.0-1_mips64el.deb 09-Feb-2019 08:29 20360508 coq-theories_8.9.0-1_mipsel.deb 07-Feb-2019 00:59 20357060 coq-theories_8.9.0-1_ppc64el.deb 06-Feb-2019 20:00 20367644 coq-theories_8.9.0-1_s390x.deb 06-Feb-2019 20:00 20367660 coq_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 90453192 coq_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 96071892 coq_8.12.0-3+b3_armel.deb 25-Nov-2020 17:44 105872392 coq_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 88355300 coq_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 87886220 coq_8.12.0-3+b3_mips64el.deb 25-Nov-2020 16:41 105866584 coq_8.12.0-3+b3_mipsel.deb 26-Nov-2020 00:43 105883668 coq_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 07:28 91476120 coq_8.12.0-3.debian.tar.xz 10-Sep-2020 06:38 37772 coq_8.12.0-3.dsc 10-Sep-2020 06:38 2483 coq_8.12.0.orig.tar.gz 22-Aug-2020 09:26 6008211 coq_8.15.0+dfsg-1.debian.tar.xz 17-Jan-2022 15:02 39660 coq_8.15.0+dfsg-1.dsc 17-Jan-2022 15:02 2607 coq_8.15.0+dfsg.orig.tar.xz 17-Jan-2022 15:02 4669948 coq_8.16.0+dfsg-1.debian.tar.xz 06-Sep-2022 09:04 33692 coq_8.16.0+dfsg-1.dsc 06-Sep-2022 09:04 2629 coq_8.16.0+dfsg-1_amd64.deb 06-Sep-2022 11:10 93223344 coq_8.16.0+dfsg-1_arm64.deb 06-Sep-2022 11:15 102128640 coq_8.16.0+dfsg-1_armhf.deb 06-Sep-2022 11:10 89892912 coq_8.16.0+dfsg-1_i386.deb 06-Sep-2022 12:26 87508156 coq_8.16.0+dfsg-1_ppc64el.deb 06-Sep-2022 12:56 93879272 coq_8.16.0+dfsg-1_s390x.deb 06-Sep-2022 17:45 93295216 coq_8.16.0+dfsg.orig.tar.xz 06-Sep-2022 09:04 4714668 coq_8.4pl4dfsg-1.debian.tar.xz 27-Jul-2014 15:26 15712 coq_8.4pl4dfsg-1.dsc 27-Jul-2014 15:26 2374 coq_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 4047862 coq_8.4pl4dfsg-1_armel.deb 27-Jul-2014 18:28 3831960 coq_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 3922284 coq_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 3806642 coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 15:26 3527076 coq_8.6-4.debian.tar.xz 30-Dec-2016 00:56 21972 coq_8.6-4.dsc 30-Dec-2016 00:56 2396 coq_8.6-4_amd64.deb 30-Dec-2016 00:56 13953402 coq_8.6-4_arm64.deb 30-Dec-2016 01:57 13825574 coq_8.6-4_armel.deb 30-Dec-2016 03:12 13837218 coq_8.6-4_armhf.deb 30-Dec-2016 03:12 13919146 coq_8.6-4_i386.deb 30-Dec-2016 01:57 13593774 coq_8.6-4_mips.deb 30-Dec-2016 07:57 19122308 coq_8.6-4_mips64el.deb 30-Dec-2016 14:29 19119940 coq_8.6-4_mipsel.deb 30-Dec-2016 07:57 19119318 coq_8.6-4_ppc64el.deb 30-Dec-2016 03:57 19118778 coq_8.6-4_s390x.deb 30-Dec-2016 05:27 19121390 coq_8.6.orig.tar.gz 28-Dec-2016 13:44 5008604 coq_8.9.0-1.debian.tar.xz 06-Feb-2019 18:49 27816 coq_8.9.0-1.dsc 06-Feb-2019 18:49 2417 coq_8.9.0-1_amd64.deb 06-Feb-2019 18:49 58990560 coq_8.9.0-1_arm64.deb 06-Feb-2019 20:26 63337232 coq_8.9.0-1_armel.deb 07-Feb-2019 01:44 50026616 coq_8.9.0-1_armhf.deb 07-Feb-2019 21:15 57327100 coq_8.9.0-1_i386.deb 06-Feb-2019 20:21 56195896 coq_8.9.0-1_mips.deb 07-Feb-2019 03:15 50024004 coq_8.9.0-1_mips64el.deb 09-Feb-2019 08:29 50027828 coq_8.9.0-1_mipsel.deb 07-Feb-2019 00:59 50022696 coq_8.9.0-1_ppc64el.deb 06-Feb-2019 20:00 60343172 coq_8.9.0-1_s390x.deb 06-Feb-2019 20:00 59188972 coq_8.9.0.orig.tar.gz 06-Feb-2019 18:49 5395769 coqide_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 1879212 coqide_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 2170596 coqide_8.12.0-3+b3_armel.deb 25-Nov-2020 17:44 46764 coqide_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 1736840 coqide_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 1723020 coqide_8.12.0-3+b3_mips64el.deb 25-Nov-2020 16:41 46732 coqide_8.12.0-3+b3_mipsel.deb 26-Nov-2020 00:43 46768 coqide_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 07:28 1958392 coqide_8.16.0+dfsg-1_amd64.deb 06-Sep-2022 11:10 1997208 coqide_8.16.0+dfsg-1_arm64.deb 06-Sep-2022 11:15 2316352 coqide_8.16.0+dfsg-1_armhf.deb 06-Sep-2022 11:10 1842548 coqide_8.16.0+dfsg-1_i386.deb 06-Sep-2022 12:26 1812900 coqide_8.16.0+dfsg-1_ppc64el.deb 06-Sep-2022 12:56 2077600 coqide_8.16.0+dfsg-1_s390x.deb 06-Sep-2022 17:45 1994940 coqide_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 797340 coqide_8.4pl4dfsg-1_armel.deb 27-Jul-2014 18:28 798386 coqide_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 822990 coqide_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 730768 coqide_8.6-4_amd64.deb 30-Dec-2016 00:56 1406016 coqide_8.6-4_arm64.deb 30-Dec-2016 01:57 1423986 coqide_8.6-4_armel.deb 30-Dec-2016 03:12 1434024 coqide_8.6-4_armhf.deb 30-Dec-2016 03:12 1472834 coqide_8.6-4_i386.deb 30-Dec-2016 01:57 1313916 coqide_8.6-4_mips.deb 30-Dec-2016 07:57 1891224 coqide_8.6-4_mips64el.deb 30-Dec-2016 14:29 1891524 coqide_8.6-4_mipsel.deb 30-Dec-2016 07:57 1891696 coqide_8.6-4_ppc64el.deb 30-Dec-2016 03:57 1891522 coqide_8.6-4_s390x.deb 30-Dec-2016 05:27 1891480 libcoq-core-ocaml-dev_8.16.0+dfsg-1_amd64.deb 06-Sep-2022 11:10 42729032 libcoq-core-ocaml-dev_8.16.0+dfsg-1_arm64.deb 06-Sep-2022 11:15 43920656 libcoq-core-ocaml-dev_8.16.0+dfsg-1_armhf.deb 06-Sep-2022 11:10 43855300 libcoq-core-ocaml-dev_8.16.0+dfsg-1_i386.deb 06-Sep-2022 12:26 42449908 libcoq-core-ocaml-dev_8.16.0+dfsg-1_ppc64el.deb 06-Sep-2022 12:56 43554392 libcoq-core-ocaml-dev_8.16.0+dfsg-1_s390x.deb 06-Sep-2022 17:45 42243028 libcoq-core-ocaml_8.16.0+dfsg-1_amd64.deb 06-Sep-2022 11:10 22563128 libcoq-core-ocaml_8.16.0+dfsg-1_arm64.deb 06-Sep-2022 11:15 23094620 libcoq-core-ocaml_8.16.0+dfsg-1_armhf.deb 06-Sep-2022 11:10 22270748 libcoq-core-ocaml_8.16.0+dfsg-1_i386.deb 06-Sep-2022 12:26 21751656 libcoq-core-ocaml_8.16.0+dfsg-1_ppc64el.deb 06-Sep-2022 12:56 22630256 libcoq-core-ocaml_8.16.0+dfsg-1_s390x.deb 06-Sep-2022 17:45 22618340 libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 18727404 libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 18726796 libcoq-ocaml-dev_8.12.0-3+b3_armel.deb 25-Nov-2020 17:44 11283240 libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 19195248 libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 18658564 libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb 25-Nov-2020 16:41 11277904 libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb 26-Nov-2020 00:43 11282888 libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 07:28 19407804 libcoq-ocaml-dev_8.15.0+dfsg-1+b1_amd64.deb 20-Jan-2022 23:58 38995680 libcoq-ocaml-dev_8.15.0+dfsg-1+b1_arm64.deb 21-Jan-2022 00:14 39296980 libcoq-ocaml-dev_8.15.0+dfsg-1+b1_armhf.deb 21-Jan-2022 01:15 39694668 libcoq-ocaml-dev_8.15.0+dfsg-1+b1_i386.deb 20-Jan-2022 23:48 39318376 libcoq-ocaml-dev_8.15.0+dfsg-1+b1_ppc64el.deb 21-Jan-2022 00:40 39448520 libcoq-ocaml-dev_8.15.0+dfsg-1+b1_s390x.deb 20-Jan-2022 23:58 39237240 libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 3780318 libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb 27-Jul-2014 18:28 4119678 libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 4016816 libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 3773636 libcoq-ocaml-dev_8.6-4_amd64.deb 30-Dec-2016 00:56 13289600 libcoq-ocaml-dev_8.6-4_arm64.deb 30-Dec-2016 01:57 13517276 libcoq-ocaml-dev_8.6-4_armel.deb 30-Dec-2016 03:12 14109130 libcoq-ocaml-dev_8.6-4_armhf.deb 30-Dec-2016 03:12 14154936 libcoq-ocaml-dev_8.6-4_i386.deb 30-Dec-2016 01:57 13323506 libcoq-ocaml-dev_8.6-4_mips.deb 30-Dec-2016 07:57 10052340 libcoq-ocaml-dev_8.6-4_mips64el.deb 30-Dec-2016 14:29 10051066 libcoq-ocaml-dev_8.6-4_mipsel.deb 30-Dec-2016 07:57 10053978 libcoq-ocaml-dev_8.6-4_ppc64el.deb 30-Dec-2016 03:57 10055118 libcoq-ocaml-dev_8.6-4_s390x.deb 30-Dec-2016 05:27 10055160 libcoq-ocaml-dev_8.9.0-1_amd64.deb 06-Feb-2019 18:49 13703936 libcoq-ocaml-dev_8.9.0-1_arm64.deb 06-Feb-2019 20:26 14001864 libcoq-ocaml-dev_8.9.0-1_armel.deb 07-Feb-2019 01:44 7940984 libcoq-ocaml-dev_8.9.0-1_armhf.deb 07-Feb-2019 21:15 14391840 libcoq-ocaml-dev_8.9.0-1_i386.deb 06-Feb-2019 20:21 13728788 libcoq-ocaml-dev_8.9.0-1_mips.deb 07-Feb-2019 03:15 7940256 libcoq-ocaml-dev_8.9.0-1_mips64el.deb 09-Feb-2019 08:29 7940696 libcoq-ocaml-dev_8.9.0-1_mipsel.deb 07-Feb-2019 00:59 7940648 libcoq-ocaml-dev_8.9.0-1_ppc64el.deb 06-Feb-2019 20:00 14094956 libcoq-ocaml-dev_8.9.0-1_s390x.deb 06-Feb-2019 20:00 13779508 libcoq-ocaml_8.12.0-3+b3_amd64.deb 25-Nov-2020 07:28 7758156 libcoq-ocaml_8.12.0-3+b3_arm64.deb 25-Nov-2020 07:58 7980456 libcoq-ocaml_8.12.0-3+b3_armel.deb 25-Nov-2020 17:44 5460152 libcoq-ocaml_8.12.0-3+b3_armhf.deb 25-Nov-2020 07:43 7743064 libcoq-ocaml_8.12.0-3+b3_i386.deb 25-Nov-2020 07:18 7575772 libcoq-ocaml_8.12.0-3+b3_mips64el.deb 25-Nov-2020 16:41 5459888 libcoq-ocaml_8.12.0-3+b3_mipsel.deb 26-Nov-2020 00:43 5460088 libcoq-ocaml_8.12.0-3+b3_ppc64el.deb 25-Nov-2020 07:28 7816032 libcoq-ocaml_8.15.0+dfsg-1+b1_amd64.deb 20-Jan-2022 23:58 22482308 libcoq-ocaml_8.15.0+dfsg-1+b1_arm64.deb 21-Jan-2022 00:14 23005360 libcoq-ocaml_8.15.0+dfsg-1+b1_armhf.deb 21-Jan-2022 01:15 22188364 libcoq-ocaml_8.15.0+dfsg-1+b1_i386.deb 20-Jan-2022 23:48 21667712 libcoq-ocaml_8.15.0+dfsg-1+b1_ppc64el.deb 21-Jan-2022 00:40 22550148 libcoq-ocaml_8.15.0+dfsg-1+b1_s390x.deb 20-Jan-2022 23:58 22539552 libcoq-ocaml_8.4pl4dfsg-1_amd64.deb 27-Jul-2014 15:26 1637886 libcoq-ocaml_8.4pl4dfsg-1_armel.deb 27-Jul-2014 18:28 1538216 libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 27-Jul-2014 21:28 1580148 libcoq-ocaml_8.4pl4dfsg-1_i386.deb 27-Jul-2014 16:57 1489658 libcoq-ocaml_8.6-4_amd64.deb 30-Dec-2016 00:56 3502166 libcoq-ocaml_8.6-4_arm64.deb 30-Dec-2016 01:57 3479538 libcoq-ocaml_8.6-4_armel.deb 30-Dec-2016 03:12 3515706 libcoq-ocaml_8.6-4_armhf.deb 30-Dec-2016 03:12 3564510 libcoq-ocaml_8.6-4_i386.deb 30-Dec-2016 01:57 3401658 libcoq-ocaml_8.6-4_mips.deb 30-Dec-2016 07:57 2375002 libcoq-ocaml_8.6-4_mips64el.deb 30-Dec-2016 14:29 2373916 libcoq-ocaml_8.6-4_mipsel.deb 30-Dec-2016 07:57 2374348 libcoq-ocaml_8.6-4_ppc64el.deb 30-Dec-2016 03:57 2374188 libcoq-ocaml_8.6-4_s390x.deb 30-Dec-2016 05:27 2375540 libcoq-ocaml_8.9.0-1_amd64.deb 06-Feb-2019 18:49 5463112 libcoq-ocaml_8.9.0-1_arm64.deb 06-Feb-2019 20:26 5803688 libcoq-ocaml_8.9.0-1_armel.deb 07-Feb-2019 01:44 3578420 libcoq-ocaml_8.9.0-1_armhf.deb 07-Feb-2019 21:15 5384100 libcoq-ocaml_8.9.0-1_i386.deb 06-Feb-2019 20:21 5186088 libcoq-ocaml_8.9.0-1_mips.deb 07-Feb-2019 03:15 3581844 libcoq-ocaml_8.9.0-1_mips64el.deb 09-Feb-2019 08:29 3578092 libcoq-ocaml_8.9.0-1_mipsel.deb 07-Feb-2019 00:59 3581564 libcoq-ocaml_8.9.0-1_ppc64el.deb 06-Feb-2019 20:00 5568956 libcoq-ocaml_8.9.0-1_s390x.deb 06-Feb-2019 20:00 5549064 libcoq-stdlib_8.16.0+dfsg-1_amd64.deb 06-Sep-2022 11:10 21537040 libcoq-stdlib_8.16.0+dfsg-1_arm64.deb 06-Sep-2022 11:15 21533496 libcoq-stdlib_8.16.0+dfsg-1_armhf.deb 06-Sep-2022 11:10 21532048 libcoq-stdlib_8.16.0+dfsg-1_i386.deb 06-Sep-2022 12:26 21532620 libcoq-stdlib_8.16.0+dfsg-1_ppc64el.deb 06-Sep-2022 12:56 21536316 libcoq-stdlib_8.16.0+dfsg-1_s390x.deb 06-Sep-2022 17:45 21532088