../ 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.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_armhf.deb 07-Feb-2019 21:15 20351780 coq-theories_8.9.0-1_i386.deb 06-Feb-2019 20:21 28414968 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.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 93212572 coq_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 102168100 coq_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 89867592 coq_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 87517396 coq_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 93886792 coq_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 93314900 coq_8.16.1+dfsg-1.debian.tar.xz 29-Nov-2022 08:35 33236 coq_8.16.1+dfsg-1.dsc 29-Nov-2022 08:35 2629 coq_8.16.1+dfsg.orig.tar.xz 29-Nov-2022 08:35 4717668 coq_8.18.0+dfsg-1+b1_amd64.deb 13-Mar-2024 05:25 81734392 coq_8.18.0+dfsg-1+b1_arm64.deb 13-Mar-2024 03:35 88115192 coq_8.18.0+dfsg-1+b1_armhf.deb 25-Mar-2024 11:12 78415036 coq_8.18.0+dfsg-1+b1_i386.deb 13-Mar-2024 05:46 77154364 coq_8.18.0+dfsg-1+b1_ppc64el.deb 13-Mar-2024 04:28 81694852 coq_8.18.0+dfsg-1+b1_riscv64.deb 27-Mar-2024 09:10 81124140 coq_8.18.0+dfsg-1+b1_s390x.deb 13-Mar-2024 11:53 81225544 coq_8.18.0+dfsg-1.debian.tar.xz 21-Dec-2023 13:58 33160 coq_8.18.0+dfsg-1.dsc 21-Dec-2023 13:58 2570 coq_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 81718924 coq_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 88111040 coq_8.18.0+dfsg-1_armhf.deb 21-Dec-2023 15:24 78415728 coq_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 77154484 coq_8.18.0+dfsg-1_ppc64el.deb 21-Dec-2023 16:50 81694624 coq_8.18.0+dfsg-1_s390x.deb 21-Dec-2023 15:14 81214176 coq_8.18.0+dfsg.orig.tar.xz 21-Dec-2023 13:58 4868368 coq_8.19.1+dfsg-1.debian.tar.xz 26-Apr-2024 13:46 32828 coq_8.19.1+dfsg-1.dsc 26-Apr-2024 13:46 2573 coq_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 82150060 coq_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 88892832 coq_8.19.1+dfsg-1_armhf.deb 26-Apr-2024 14:56 78873204 coq_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 77680248 coq_8.19.1+dfsg-1_ppc64el.deb 26-Apr-2024 14:22 82368040 coq_8.19.1+dfsg-1_riscv64.deb 26-Apr-2024 18:50 81749988 coq_8.19.1+dfsg-1_s390x.deb 26-Apr-2024 15:06 81607224 coq_8.19.1+dfsg.orig.tar.bz2 26-Apr-2024 13:46 5589471 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_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.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.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 1993412 coqide_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 2310756 coqide_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 1834728 coqide_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 1806236 coqide_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 2076580 coqide_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 1979904 coqide_8.18.0+dfsg-1+b1_amd64.deb 13-Mar-2024 05:25 2001104 coqide_8.18.0+dfsg-1+b1_arm64.deb 13-Mar-2024 03:35 2326488 coqide_8.18.0+dfsg-1+b1_armhf.deb 25-Mar-2024 11:12 1845580 coqide_8.18.0+dfsg-1+b1_i386.deb 13-Mar-2024 05:46 1817676 coqide_8.18.0+dfsg-1+b1_ppc64el.deb 13-Mar-2024 04:28 2079128 coqide_8.18.0+dfsg-1+b1_riscv64.deb 27-Mar-2024 09:10 2015880 coqide_8.18.0+dfsg-1+b1_s390x.deb 13-Mar-2024 11:53 1993904 coqide_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 2000792 coqide_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 2318272 coqide_8.18.0+dfsg-1_armhf.deb 21-Dec-2023 15:24 1842840 coqide_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 1814976 coqide_8.18.0+dfsg-1_ppc64el.deb 21-Dec-2023 16:50 2069200 coqide_8.18.0+dfsg-1_s390x.deb 21-Dec-2023 15:14 1992612 coqide_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 2004000 coqide_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 2333288 coqide_8.19.1+dfsg-1_armhf.deb 26-Apr-2024 14:56 1848932 coqide_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 1821136 coqide_8.19.1+dfsg-1_ppc64el.deb 26-Apr-2024 14:22 2082432 coqide_8.19.1+dfsg-1_riscv64.deb 26-Apr-2024 18:50 2025748 coqide_8.19.1+dfsg-1_s390x.deb 26-Apr-2024 15:06 2014552 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 42725424 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 42825080 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 43114464 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 42449528 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 43561824 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 42245924 libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_amd64.deb 13-Mar-2024 05:25 44437052 libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_arm64.deb 13-Mar-2024 03:35 44513080 libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_armhf.deb 25-Mar-2024 11:12 44798632 libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_i386.deb 13-Mar-2024 05:46 44145736 libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_ppc64el.deb 13-Mar-2024 04:28 45260308 libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_riscv64.deb 27-Mar-2024 09:10 48946200 libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_s390x.deb 13-Mar-2024 11:53 43882732 libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 44441076 libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 44516340 libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb 21-Dec-2023 15:24 44800756 libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 44137932 libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc64el.deb 21-Dec-2023 16:50 45265212 libcoq-core-ocaml-dev_8.18.0+dfsg-1_s390x.deb 21-Dec-2023 15:14 43888640 libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 45213200 libcoq-core-ocaml-dev_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 45310560 libcoq-core-ocaml-dev_8.19.1+dfsg-1_armhf.deb 26-Apr-2024 14:56 45604140 libcoq-core-ocaml-dev_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 44941516 libcoq-core-ocaml-dev_8.19.1+dfsg-1_ppc64el.deb 26-Apr-2024 14:22 46081340 libcoq-core-ocaml-dev_8.19.1+dfsg-1_riscv64.deb 26-Apr-2024 18:50 49765760 libcoq-core-ocaml-dev_8.19.1+dfsg-1_s390x.deb 26-Apr-2024 15:06 44647744 libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 22556068 libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 23093000 libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 22259280 libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21747176 libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 22620372 libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 22619920 libcoq-core-ocaml_8.18.0+dfsg-1+b1_amd64.deb 13-Mar-2024 05:25 23214996 libcoq-core-ocaml_8.18.0+dfsg-1+b1_arm64.deb 13-Mar-2024 03:35 23767116 libcoq-core-ocaml_8.18.0+dfsg-1+b1_armhf.deb 25-Mar-2024 11:12 22943480 libcoq-core-ocaml_8.18.0+dfsg-1+b1_i386.deb 13-Mar-2024 05:46 22397952 libcoq-core-ocaml_8.18.0+dfsg-1+b1_ppc64el.deb 13-Mar-2024 04:28 23286204 libcoq-core-ocaml_8.18.0+dfsg-1+b1_riscv64.deb 27-Mar-2024 09:10 23217448 libcoq-core-ocaml_8.18.0+dfsg-1+b1_s390x.deb 13-Mar-2024 11:53 23247424 libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 23212704 libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 23774380 libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb 21-Dec-2023 15:24 22942992 libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 22395260 libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb 21-Dec-2023 16:50 23286552 libcoq-core-ocaml_8.18.0+dfsg-1_s390x.deb 21-Dec-2023 15:14 23246668 libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 23421824 libcoq-core-ocaml_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 23985268 libcoq-core-ocaml_8.19.1+dfsg-1_armhf.deb 26-Apr-2024 14:56 23155948 libcoq-core-ocaml_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 22609644 libcoq-core-ocaml_8.19.1+dfsg-1_ppc64el.deb 26-Apr-2024 14:22 23497244 libcoq-core-ocaml_8.19.1+dfsg-1_riscv64.deb 26-Apr-2024 18:50 23428928 libcoq-core-ocaml_8.19.1+dfsg-1_s390x.deb 26-Apr-2024 15:06 23462344 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.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_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_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.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_armhf.deb 07-Feb-2019 21:15 5384100 libcoq-ocaml_8.9.0-1_i386.deb 06-Feb-2019 20:21 5186088 libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 13-Feb-2023 01:14 21526056 libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 13-Feb-2023 01:55 21528036 libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb 13-Feb-2023 01:55 21527688 libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 13-Feb-2023 01:29 21528432 libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb 13-Feb-2023 03:13 21528192 libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb 13-Feb-2023 01:45 21529156 libcoq-stdlib_8.18.0+dfsg-1+b1_amd64.deb 13-Mar-2024 05:25 23237440 libcoq-stdlib_8.18.0+dfsg-1+b1_arm64.deb 13-Mar-2024 03:35 23241188 libcoq-stdlib_8.18.0+dfsg-1+b1_armhf.deb 25-Mar-2024 11:12 23234980 libcoq-stdlib_8.18.0+dfsg-1+b1_i386.deb 13-Mar-2024 05:46 23235020 libcoq-stdlib_8.18.0+dfsg-1+b1_ppc64el.deb 13-Mar-2024 04:28 23238156 libcoq-stdlib_8.18.0+dfsg-1+b1_riscv64.deb 27-Mar-2024 09:10 23239572 libcoq-stdlib_8.18.0+dfsg-1+b1_s390x.deb 13-Mar-2024 11:53 23234380 libcoq-stdlib_8.18.0+dfsg-1_amd64.deb 21-Dec-2023 17:16 23237712 libcoq-stdlib_8.18.0+dfsg-1_arm64.deb 21-Dec-2023 15:19 23241824 libcoq-stdlib_8.18.0+dfsg-1_armhf.deb 21-Dec-2023 15:24 23234328 libcoq-stdlib_8.18.0+dfsg-1_i386.deb 21-Dec-2023 18:21 23234760 libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb 21-Dec-2023 16:50 23237384 libcoq-stdlib_8.18.0+dfsg-1_s390x.deb 21-Dec-2023 15:14 23234116 libcoq-stdlib_8.19.1+dfsg-1_amd64.deb 26-Apr-2024 14:22 23660332 libcoq-stdlib_8.19.1+dfsg-1_arm64.deb 26-Apr-2024 14:22 23655448 libcoq-stdlib_8.19.1+dfsg-1_armhf.deb 26-Apr-2024 14:56 23658740 libcoq-stdlib_8.19.1+dfsg-1_i386.deb 26-Apr-2024 14:17 23652968 libcoq-stdlib_8.19.1+dfsg-1_ppc64el.deb 26-Apr-2024 14:22 23651004 libcoq-stdlib_8.19.1+dfsg-1_riscv64.deb 26-Apr-2024 18:50 23657020 libcoq-stdlib_8.19.1+dfsg-1_s390x.deb 26-Apr-2024 15:06 23658880