| Parent directory/ | - | - |
| coq_8.6-4.dsc | 2396 | 2016-Dec-30 09:56 |
| coq_8.9.0-1.dsc | 2417 | 2019-Feb-07 03:49 |
| coq_8.12.0-3.dsc | 2483 | 2020-Sep-10 15:38 |
| libcoq-ocaml-dbgsym_8.6-4_mipsel.deb | 18002 | 2016-Dec-30 16:57 |
| libcoq-ocaml-dbgsym_8.6-4_mips64el.deb | 18550 | 2016-Dec-30 23:29 |
| libcoq-ocaml-dbgsym_8.6-4_mips.deb | 18734 | 2016-Dec-30 16:57 |
| libcoq-ocaml-dbgsym_8.6-4_ppc64el.deb | 21250 | 2016-Dec-30 12:57 |
| coq_8.6-4.debian.tar.xz | 21972 | 2016-Dec-30 09:56 |
| libcoq-ocaml-dbgsym_8.6-4_s390x.deb | 22850 | 2016-Dec-30 14:27 |
| libcoq-ocaml-dbgsym_8.9.0-1_armel.deb | 25600 | 2019-Feb-07 10:44 |
| libcoq-ocaml-dbgsym_8.9.0-1_mipsel.deb | 26096 | 2019-Feb-07 09:59 |
| libcoq-ocaml-dbgsym_8.9.0-1_mips64el.deb | 26428 | 2019-Feb-09 17:29 |
| libcoq-ocaml-dbgsym_8.9.0-1_mips.deb | 26876 | 2019-Feb-07 12:15 |
| coq_8.9.0-1.debian.tar.xz | 27816 | 2019-Feb-07 03:49 |
| libcoq-ocaml-dbgsym_8.12.0-3+b3_mips64el.deb | 31156 | 2020-Nov-26 01:41 |
| coq_8.12.0-3.debian.tar.xz | 37772 | 2020-Sep-10 15:38 |
| libcoq-ocaml-dbgsym_8.12.0-3+b3_armel.deb | 39004 | 2020-Nov-26 02:44 |
| libcoq-ocaml-dbgsym_8.12.0-3+b3_mipsel.deb | 39840 | 2020-Nov-26 09:43 |
| libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb | 79030 | 2016-Dec-30 10:57 |
| libcoq-ocaml-dev-dbgsym_8.6-4_arm64.deb | 79468 | 2016-Dec-30 10:57 |
| libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb | 81748 | 2016-Dec-30 09:56 |
| libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb | 86060 | 2016-Dec-30 12:12 |
| libcoq-ocaml-dev-dbgsym_8.6-4_armel.deb | 86476 | 2016-Dec-30 12:12 |
| libcoq-ocaml-dbgsym_8.6-4_arm64.deb | 255704 | 2016-Dec-30 10:57 |
| libcoq-ocaml-dbgsym_8.6-4_i386.deb | 258070 | 2016-Dec-30 10:57 |
| libcoq-ocaml-dbgsym_8.6-4_amd64.deb | 265466 | 2016-Dec-30 09:56 |
| libcoq-ocaml-dbgsym_8.6-4_armel.deb | 276254 | 2016-Dec-30 12:12 |
| libcoq-ocaml-dbgsym_8.6-4_armhf.deb | 284962 | 2016-Dec-30 12:12 |
| coqide-dbgsym_8.6-4_i386.deb | 347932 | 2016-Dec-30 10:57 |
| coqide-dbgsym_8.6-4_arm64.deb | 356928 | 2016-Dec-30 10:57 |
| coqide-dbgsym_8.6-4_amd64.deb | 365846 | 2016-Dec-30 09:56 |
| coqide-dbgsym_8.6-4_armel.deb | 375884 | 2016-Dec-30 12:12 |
| coqide-dbgsym_8.6-4_armhf.deb | 375948 | 2016-Dec-30 12:12 |
| libcoq-ocaml-dbgsym_8.9.0-1_s390x.deb | 435384 | 2019-Feb-07 05:00 |
| libcoq-ocaml-dbgsym_8.9.0-1_ppc64el.deb | 453716 | 2019-Feb-07 05:00 |
| libcoq-ocaml-dbgsym_8.9.0-1_armhf.deb | 479088 | 2019-Feb-08 06:15 |
| coqide-dbgsym_8.12.0-3+b3_ppc64el.deb | 484736 | 2020-Nov-25 16:28 |
| coqide-dbgsym_8.12.0-3+b3_armhf.deb | 500028 | 2020-Nov-25 16:43 |
| libcoq-ocaml-dbgsym_8.9.0-1_arm64.deb | 513288 | 2019-Feb-07 05:26 |
| libcoq-ocaml-dbgsym_8.9.0-1_i386.deb | 521560 | 2019-Feb-07 05:21 |
| libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb | 534608 | 2019-Feb-07 03:49 |
| libcoq-ocaml-dbgsym_8.12.0-3+b3_ppc64el.deb | 535212 | 2020-Nov-25 16:28 |
| coqide-dbgsym_8.12.0-3+b3_i386.deb | 540604 | 2020-Nov-25 16:18 |
| coqide-dbgsym_8.12.0-3+b3_amd64.deb | 567552 | 2020-Nov-25 16:28 |
| libcoq-ocaml-dbgsym_8.12.0-3+b3_arm64.deb | 573712 | 2020-Nov-25 16:58 |
| coqide-dbgsym_8.12.0-3+b3_arm64.deb | 575048 | 2020-Nov-25 16:58 |
| libcoq-ocaml-dbgsym_8.12.0-3+b3_armhf.deb | 582260 | 2020-Nov-25 16:43 |
| libcoq-ocaml-dbgsym_8.12.0-3+b3_i386.deb | 653356 | 2020-Nov-25 16:18 |
| libcoq-ocaml-dbgsym_8.12.0-3+b3_amd64.deb | 661824 | 2020-Nov-25 16:28 |
| coq-theories-dbgsym_8.9.0-1_i386.deb | 743484 | 2019-Feb-07 05:21 |
| coq-theories-dbgsym_8.9.0-1_amd64.deb | 773124 | 2019-Feb-07 03:49 |
| coq-theories-dbgsym_8.6-4_i386.deb | 847272 | 2016-Dec-30 10:57 |
| coq-theories-dbgsym_8.6-4_amd64.deb | 877204 | 2016-Dec-30 09:56 |
| coq-theories-dbgsym_8.12.0-3+b3_i386.deb | 948456 | 2020-Nov-25 16:18 |
| coq-theories-dbgsym_8.12.0-3+b3_amd64.deb | 988768 | 2020-Nov-25 16:28 |
| coq-dbgsym_8.6-4_i386.deb | 1311834 | 2016-Dec-30 10:57 |
| coq-dbgsym_8.6-4_arm64.deb | 1314198 | 2016-Dec-30 10:57 |
| coq-dbgsym_8.6-4_amd64.deb | 1391500 | 2016-Dec-30 09:56 |
| coq-dbgsym_8.6-4_armhf.deb | 1427146 | 2016-Dec-30 12:12 |
| coq-dbgsym_8.6-4_armel.deb | 1435850 | 2016-Dec-30 12:12 |
| coq-dbgsym_8.9.0-1_ppc64el.deb | 2820604 | 2019-Feb-07 05:00 |
| coq-dbgsym_8.9.0-1_s390x.deb | 2928984 | 2019-Feb-07 05:00 |
| coq-dbgsym_8.9.0-1_armhf.deb | 3311820 | 2019-Feb-08 06:15 |
| coq-dbgsym_8.9.0-1_arm64.deb | 3610888 | 2019-Feb-07 05:26 |
| coq-dbgsym_8.9.0-1_i386.deb | 3721836 | 2019-Feb-07 05:21 |
| coq-dbgsym_8.9.0-1_amd64.deb | 3736676 | 2019-Feb-07 03:49 |
| coq_8.6.orig.tar.gz | 5008604 | 2016-Dec-28 22:44 |
| coq_8.9.0.orig.tar.gz | 5395769 | 2019-Feb-07 03:49 |
| coq-dbgsym_8.12.0-3+b3_ppc64el.deb | 5969524 | 2020-Nov-25 16:28 |
| coq_8.12.0.orig.tar.gz | 6008211 | 2020-Aug-22 18:26 |
| coq-dbgsym_8.12.0-3+b3_armhf.deb | 6463724 | 2020-Nov-25 16:43 |
| coq-dbgsym_8.12.0-3+b3_arm64.deb | 7455684 | 2020-Nov-25 16:58 |
| coq-dbgsym_8.12.0-3+b3_i386.deb | 8074056 | 2020-Nov-25 16:18 |
| coq-dbgsym_8.12.0-3+b3_amd64.deb | 8224028 | 2020-Nov-25 16:28 |