| Parent directory/ | - | - |
| libcoq-stdlib_8.15.0+dfsg-2_arm64.deb | 23.6 MiB | Sun, 6 February 2022 01:54:02 PM |
| coq_8.15.0+dfsg-2_arm64.deb | 101.8 MiB | Sun, 6 February 2022 01:54:01 PM |
| coqide_8.15.0+dfsg-2_arm64.deb | 2.7 MiB | Sun, 6 February 2022 01:54:00 PM |
| libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb | 27.1 MiB | Sun, 6 February 2022 01:53:59 PM |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb | 43.5 MiB | Sun, 6 February 2022 01:53:58 PM |
| libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb | 23.6 MiB | Sat, 5 February 2022 12:53:24 PM |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb | 43.6 MiB | Sat, 5 February 2022 12:53:23 PM |
| coqide_8.15.0+dfsg-2_ppc64el.deb | 2.4 MiB | Sat, 5 February 2022 12:53:22 PM |
| coq_8.15.0+dfsg-2_ppc64el.deb | 93.7 MiB | Sat, 5 February 2022 12:53:22 PM |
| libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb | 26.2 MiB | Sat, 5 February 2022 12:53:22 PM |
| libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb | 25.7 MiB | Sat, 5 February 2022 12:53:13 PM |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb | 43.8 MiB | Sat, 5 February 2022 12:53:13 PM |
| coqide_8.15.0+dfsg-2_armhf.deb | 2.1 MiB | Sat, 5 February 2022 12:53:12 PM |
| coq_8.15.0+dfsg-2_armhf.deb | 88.9 MiB | Sat, 5 February 2022 12:53:12 PM |
| libcoq-stdlib_8.15.0+dfsg-2_armhf.deb | 23.6 MiB | Sat, 5 February 2022 12:53:11 PM |
| coq_8.15.0+dfsg-2_amd64.deb | 91.0 MiB | Sat, 5 February 2022 12:52:00 PM |
| libcoq-stdlib_8.15.0+dfsg-2_amd64.deb | 23.6 MiB | Sat, 5 February 2022 12:51:58 PM |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb | 42.9 MiB | Sat, 5 February 2022 12:51:58 PM |
| libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb | 25.8 MiB | Sat, 5 February 2022 12:51:56 PM |
| coqide_8.15.0+dfsg-2_amd64.deb | 2.3 MiB | Sat, 5 February 2022 12:51:53 PM |
| coq_8.15.0+dfsg-2.debian.tar.xz | 38.7 KiB | Sat, 5 February 2022 06:49:53 PM |
| coq_8.15.0+dfsg-2.dsc | 2.5 KiB | Sat, 5 February 2022 06:49:53 PM |
| coq_8.15.0+dfsg.orig.tar.xz | 4.5 MiB | Mon, 17 January 2022 12:14:25 PM |
| libcoq-ocaml-dev_8.11.0-1_amd64.deb | 15.3 MiB | Fri, 6 March 2020 09:38:21 AM |
| libcoq-ocaml_8.11.0-1_amd64.deb | 6.0 MiB | Fri, 6 March 2020 09:38:20 AM |
| coq-theories_8.11.0-1_amd64.deb | 31.5 MiB | Fri, 6 March 2020 09:38:19 AM |
| coqide_8.11.0-1_amd64.deb | 1.7 MiB | Fri, 6 March 2020 09:38:18 AM |
| coq_8.11.0-1_amd64.deb | 73.0 MiB | Fri, 6 March 2020 09:38:18 AM |
| coq_8.11.0-1.debian.tar.xz | 30.9 KiB | Fri, 6 March 2020 08:53:17 AM |
| coq_8.11.0.orig.tar.gz | 5.6 MiB | Fri, 6 March 2020 08:53:17 AM |
| coq_8.11.0-1.dsc | 2.4 KiB | Fri, 6 March 2020 08:53:16 AM |
| coq-theories_8.6-5build1_i386.deb | 30.7 MiB | Sat, 28 October 2017 04:34:52 PM |
| coq_8.6-5build1_i386.deb | 16.2 MiB | Sat, 28 October 2017 04:34:51 PM |
| libcoq-ocaml_8.6-5build1_i386.deb | 3.2 MiB | Sat, 28 October 2017 04:34:51 PM |
| coqide_8.6-5build1_i386.deb | 1.3 MiB | Sat, 28 October 2017 04:34:51 PM |
| libcoq-ocaml-dev_8.6-5build1_i386.deb | 13.2 MiB | Sat, 28 October 2017 04:34:50 PM |
| coq_8.6-5build1_amd64.deb | 16.9 MiB | Sat, 28 October 2017 04:34:41 PM |
| coq-theories_8.6-5build1_amd64.deb | 31.6 MiB | Sat, 28 October 2017 04:34:40 PM |
| libcoq-ocaml-dev_8.6-5build1_amd64.deb | 13.2 MiB | Sat, 28 October 2017 04:34:40 PM |
| coqide_8.6-5build1_amd64.deb | 1.5 MiB | Sat, 28 October 2017 04:34:40 PM |
| libcoq-ocaml_8.6-5build1_amd64.deb | 3.4 MiB | Sat, 28 October 2017 04:34:39 PM |
| coq_8.6-5build1.dsc | 2.3 KiB | Sat, 28 October 2017 03:39:28 PM |
| coq_8.6-5build1.debian.tar.xz | 21.4 KiB | Sat, 28 October 2017 03:39:28 PM |
| coq_8.6.orig.tar.gz | 4.8 MiB | Wed, 28 December 2016 06:13:41 PM |
| coq_8.4pl4dfsg-3build2_amd64.deb | 3.8 MiB | Wed, 4 November 2015 03:04:34 PM |
| coq-theories_8.4pl4dfsg-3build2_all.deb | 30.7 MiB | Wed, 4 November 2015 03:04:33 PM |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb | 3.5 MiB | Wed, 4 November 2015 03:04:32 PM |
| coqide_8.4pl4dfsg-3build2_amd64.deb | 731.4 KiB | Wed, 4 November 2015 03:04:31 PM |
| libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb | 1.4 MiB | Wed, 4 November 2015 03:04:31 PM |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb | 3.6 MiB | Wed, 4 November 2015 02:39:45 PM |
| coq_8.4pl4dfsg-3build2_i386.deb | 3.6 MiB | Wed, 4 November 2015 02:39:44 PM |
| libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb | 1.3 MiB | Wed, 4 November 2015 02:39:44 PM |
| coqide_8.4pl4dfsg-3build2_i386.deb | 694.9 KiB | Wed, 4 November 2015 02:39:44 PM |
| coq_8.4pl4dfsg-3build2.dsc | 2.3 KiB | Wed, 4 November 2015 02:14:21 PM |
| coq_8.4pl4dfsg-3build2.debian.tar.xz | 15.8 KiB | Wed, 4 November 2015 02:14:21 PM |
| coq_8.4pl4dfsg.orig.tar.gz | 3.4 MiB | Sun, 27 July 2014 12:13:17 PM |