Index of /ubuntu/pool/universe/c/coq/
../
coq-theories_8.11.0-1_amd64.deb 06-Mar-2020 10:38 32M
coq-theories_8.4pl3dfsg-1_all.deb 20-Jan-2014 01:58 30M
coq-theories_8.4pl4dfsg-3build2_all.deb 04-Nov-2015 16:04 31M
coq-theories_8.6-5build1_amd64.deb 28-Oct-2017 17:34 32M
coq-theories_8.6-5build1_i386.deb 28-Oct-2017 17:34 31M
coq_8.11.0-1.debian.tar.xz 06-Mar-2020 09:53 31K
coq_8.11.0-1.dsc 06-Mar-2020 09:53 2496
coq_8.11.0-1_amd64.deb 06-Mar-2020 10:38 73M
coq_8.11.0.orig.tar.gz 06-Mar-2020 09:53 6M
coq_8.15.0+dfsg-2.debian.tar.xz 05-Feb-2022 19:49 39K
coq_8.15.0+dfsg-2.dsc 05-Feb-2022 19:49 2599
coq_8.15.0+dfsg-2_amd64.deb 06-Feb-2022 01:52 91M
coq_8.15.0+dfsg.orig.tar.xz 18-Jan-2022 01:14 4M
coq_8.18.0+dfsg-1build2.debian.tar.xz 31-Mar-2024 20:36 33K
coq_8.18.0+dfsg-1build2.dsc 31-Mar-2024 20:36 2685
coq_8.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 21:32 91M
coq_8.18.0+dfsg.orig.tar.xz 22-Dec-2023 21:46 5M
coq_8.20.1+dfsg-1.debian.tar.xz 18-Feb-2025 03:39 30K
coq_8.20.1+dfsg-1.dsc 18-Feb-2025 03:39 2582
coq_8.20.1+dfsg-1_amd64.deb 18-Feb-2025 03:40 78M
coq_8.20.1+dfsg-1build1.debian.tar.xz 19-Jun-2025 13:23 30K
coq_8.20.1+dfsg-1build1.dsc 19-Jun-2025 13:23 2569
coq_8.20.1+dfsg-1build1_amd64.deb 20-Jun-2025 01:39 78M
coq_8.20.1+dfsg-1build1_arm64.deb 20-Jun-2025 01:39 83M
coq_8.20.1+dfsg-1build4.debian.tar.xz 01-Mar-2026 15:53 30K
coq_8.20.1+dfsg-1build4.dsc 01-Mar-2026 15:53 2569
coq_8.20.1+dfsg-1build4_amd64.deb 01-Mar-2026 15:54 79M
coq_8.20.1+dfsg-1build4_amd64v3.deb 01-Mar-2026 15:55 79M
coq_8.20.1+dfsg-1build4_arm64.deb 01-Mar-2026 15:55 84M
coq_8.20.1+dfsg-1build5.debian.tar.xz 07-Jul-2026 22:33 30K
coq_8.20.1+dfsg-1build5.dsc 07-Jul-2026 22:33 2568
coq_8.20.1+dfsg-1build5_amd64.deb 07-Jul-2026 23:39 79M
coq_8.20.1+dfsg-1build5_amd64v3.deb 07-Jul-2026 23:40 79M
coq_8.20.1+dfsg-1build5_arm64.deb 07-Jul-2026 23:40 84M
coq_8.20.1+dfsg.orig.tar.xz 18-Feb-2025 03:39 5M
coq_8.4pl3dfsg-1.debian.tar.xz 20-Jan-2014 01:18 15K
coq_8.4pl3dfsg-1.dsc 20-Jan-2014 01:18 2356
coq_8.4pl3dfsg-1_amd64.deb 20-Jan-2014 01:58 4M
coq_8.4pl3dfsg-1_i386.deb 20-Jan-2014 01:58 4M
coq_8.4pl3dfsg.orig.tar.gz 20-Jan-2014 01:18 3M
coq_8.4pl4dfsg-3build2.debian.tar.xz 04-Nov-2015 15:14 16K
coq_8.4pl4dfsg-3build2.dsc 04-Nov-2015 15:14 2398
coq_8.4pl4dfsg-3build2_amd64.deb 04-Nov-2015 16:04 4M
coq_8.4pl4dfsg-3build2_i386.deb 04-Nov-2015 15:39 4M
coq_8.4pl4dfsg.orig.tar.gz 28-Jul-2014 01:13 3M
coq_8.6-5build1.debian.tar.xz 28-Oct-2017 16:39 21K
coq_8.6-5build1.dsc 28-Oct-2017 16:39 2403
coq_8.6-5build1_amd64.deb 28-Oct-2017 17:34 17M
coq_8.6-5build1_i386.deb 28-Oct-2017 17:34 16M
coq_8.6.orig.tar.gz 28-Dec-2016 19:13 5M
coq_9.2.0+dfsg-2.debian.tar.xz 21-Jul-2026 19:44 23K
coq_9.2.0+dfsg-2.dsc 21-Jul-2026 19:44 2499
coq_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 20:43 45M
coq_9.2.0+dfsg-2_amd64v3.deb 21-Jul-2026 20:43 45M
coq_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 20:44 49M
coq_9.2.0+dfsg-3.debian.tar.xz 28-Jul-2026 01:27 28K
coq_9.2.0+dfsg-3.dsc 28-Jul-2026 01:27 2479
coq_9.2.0+dfsg-3_amd64.deb 28-Jul-2026 02:31 45M
coq_9.2.0+dfsg-3_amd64v3.deb 28-Jul-2026 02:31 45M
coq_9.2.0+dfsg-3_arm64.deb 28-Jul-2026 02:31 50M
coq_9.2.0+dfsg-3build1.debian.tar.xz 26-Aug-2026 17:54 28K
coq_9.2.0+dfsg-3build1.dsc 26-Aug-2026 17:54 2467
coq_9.2.0+dfsg-3build1_amd64.deb 26-Aug-2026 17:54 45M
coq_9.2.0+dfsg-3build1_amd64v3.deb 26-Aug-2026 17:54 45M
coq_9.2.0+dfsg-3build1_arm64.deb 26-Aug-2026 17:55 50M
coq_9.2.0+dfsg-4.debian.tar.xz 27-Aug-2026 15:31 28K
coq_9.2.0+dfsg-4.dsc 27-Aug-2026 15:31 2710
coq_9.2.0+dfsg-4_amd64.deb 27-Aug-2026 15:32 45M
coq_9.2.0+dfsg-4_amd64v3.deb 27-Aug-2026 15:32 45M
coq_9.2.0+dfsg-4_arm64.deb 27-Aug-2026 15:33 50M
coq_9.2.0+dfsg-4build1.debian.tar.xz 09-Sep-2026 17:52 28K
coq_9.2.0+dfsg-4build1.dsc 09-Sep-2026 17:52 2462
coq_9.2.0+dfsg-4build1_amd64.deb 09-Sep-2026 19:20 45M
coq_9.2.0+dfsg-4build1_amd64v3.deb 09-Sep-2026 18:51 45M
coq_9.2.0+dfsg-4build1_arm64.deb 09-Sep-2026 19:20 50M
coq_9.2.0+dfsg.orig.tar.xz 21-Jul-2026 19:44 4M
coqide_8.11.0-1_amd64.deb 06-Mar-2020 10:38 2M
coqide_8.15.0+dfsg-2_amd64.deb 06-Feb-2022 01:51 2M
coqide_8.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 21:32 2M
coqide_8.20.1+dfsg-1_amd64.deb 18-Feb-2025 03:40 2M
coqide_8.20.1+dfsg-1build1_amd64.deb 20-Jun-2025 01:39 2M
coqide_8.20.1+dfsg-1build1_arm64.deb 20-Jun-2025 01:39 3M
coqide_8.20.1+dfsg-1build4_amd64.deb 01-Mar-2026 15:54 2M
coqide_8.20.1+dfsg-1build4_amd64v3.deb 01-Mar-2026 15:55 2M
coqide_8.20.1+dfsg-1build4_arm64.deb 01-Mar-2026 15:55 3M
coqide_8.20.1+dfsg-1build5_amd64.deb 07-Jul-2026 23:39 2M
coqide_8.20.1+dfsg-1build5_amd64v3.deb 07-Jul-2026 23:40 2M
coqide_8.20.1+dfsg-1build5_arm64.deb 07-Jul-2026 23:40 3M
coqide_8.4pl3dfsg-1_amd64.deb 20-Jan-2014 01:58 727K
coqide_8.4pl3dfsg-1_i386.deb 20-Jan-2014 01:58 662K
coqide_8.4pl4dfsg-3build2_amd64.deb 04-Nov-2015 16:04 731K
coqide_8.4pl4dfsg-3build2_i386.deb 04-Nov-2015 15:39 695K
coqide_8.6-5build1_amd64.deb 28-Oct-2017 17:34 1M
coqide_8.6-5build1_i386.deb 28-Oct-2017 17:34 1M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb 06-Feb-2022 01:51 43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 31-Mar-2024 21:32 49M
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb 18-Feb-2025 03:40 66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64..> 20-Jun-2025 01:39 66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_arm64..> 20-Jun-2025 01:39 66M
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64..> 01-Mar-2026 15:54 57M
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64..> 01-Mar-2026 15:55 57M
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_arm64..> 01-Mar-2026 15:55 58M
libcoq-core-ocaml-dev_8.20.1+dfsg-1build5_amd64..> 07-Jul-2026 23:10 57M
libcoq-core-ocaml-dev_8.20.1+dfsg-1build5_amd64..> 07-Jul-2026 23:40 57M
libcoq-core-ocaml-dev_8.20.1+dfsg-1build5_arm64..> 07-Jul-2026 23:40 58M
libcoq-core-ocaml-dev_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 20:43 61M
libcoq-core-ocaml-dev_9.2.0+dfsg-2_amd64v3.deb 21-Jul-2026 20:43 61M
libcoq-core-ocaml-dev_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 20:44 61M
libcoq-core-ocaml-dev_9.2.0+dfsg-3_amd64.deb 28-Jul-2026 02:31 61M
libcoq-core-ocaml-dev_9.2.0+dfsg-3_amd64v3.deb 28-Jul-2026 02:31 61M
libcoq-core-ocaml-dev_9.2.0+dfsg-3_arm64.deb 28-Jul-2026 02:31 62M
libcoq-core-ocaml-dev_9.2.0+dfsg-3build1_amd64.deb 26-Aug-2026 17:54 61M
libcoq-core-ocaml-dev_9.2.0+dfsg-3build1_amd64v..> 26-Aug-2026 17:54 61M
libcoq-core-ocaml-dev_9.2.0+dfsg-3build1_arm64.deb 26-Aug-2026 17:55 62M
libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb 27-Aug-2026 15:32 61M
libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64v3.deb 27-Aug-2026 15:32 61M
libcoq-core-ocaml-dev_9.2.0+dfsg-4_arm64.deb 27-Aug-2026 15:33 62M
libcoq-core-ocaml-dev_9.2.0+dfsg-4build1_amd64.deb 09-Sep-2026 19:20 61M
libcoq-core-ocaml-dev_9.2.0+dfsg-4build1_amd64v..> 09-Sep-2026 18:51 61M
libcoq-core-ocaml-dev_9.2.0+dfsg-4build1_arm64.deb 09-Sep-2026 19:20 62M
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb 06-Feb-2022 01:51 26M
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 21:32 26M
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb 18-Feb-2025 03:40 26M
libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb 20-Jun-2025 01:39 26M
libcoq-core-ocaml_8.20.1+dfsg-1build1_arm64.deb 20-Jun-2025 01:39 27M
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb 01-Mar-2026 15:54 27M
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64v3.deb 01-Mar-2026 15:55 27M
libcoq-core-ocaml_8.20.1+dfsg-1build4_arm64.deb 01-Mar-2026 15:55 28M
libcoq-core-ocaml_8.20.1+dfsg-1build5_amd64.deb 07-Jul-2026 23:39 27M
libcoq-core-ocaml_8.20.1+dfsg-1build5_amd64v3.deb 07-Jul-2026 23:40 27M
libcoq-core-ocaml_8.20.1+dfsg-1build5_arm64.deb 07-Jul-2026 23:40 28M
libcoq-core-ocaml_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 20:43 29M
libcoq-core-ocaml_9.2.0+dfsg-2_amd64v3.deb 21-Jul-2026 20:43 29M
libcoq-core-ocaml_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 20:44 30M
libcoq-core-ocaml_9.2.0+dfsg-3_amd64.deb 28-Jul-2026 02:31 29M
libcoq-core-ocaml_9.2.0+dfsg-3_amd64v3.deb 28-Jul-2026 02:31 29M
libcoq-core-ocaml_9.2.0+dfsg-3_arm64.deb 28-Jul-2026 02:31 30M
libcoq-core-ocaml_9.2.0+dfsg-3build1_amd64.deb 26-Aug-2026 17:54 29M
libcoq-core-ocaml_9.2.0+dfsg-3build1_amd64v3.deb 26-Aug-2026 17:54 29M
libcoq-core-ocaml_9.2.0+dfsg-3build1_arm64.deb 26-Aug-2026 17:55 30M
libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb 27-Aug-2026 15:32 29M
libcoq-core-ocaml_9.2.0+dfsg-4_amd64v3.deb 27-Aug-2026 15:32 29M
libcoq-core-ocaml_9.2.0+dfsg-4_arm64.deb 27-Aug-2026 15:33 30M
libcoq-core-ocaml_9.2.0+dfsg-4build1_amd64.deb 09-Sep-2026 19:20 29M
libcoq-core-ocaml_9.2.0+dfsg-4build1_amd64v3.deb 09-Sep-2026 18:51 29M
libcoq-core-ocaml_9.2.0+dfsg-4build1_arm64.deb 09-Sep-2026 19:20 30M
libcoq-core_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 20:43 1M
libcoq-core_9.2.0+dfsg-2_amd64v3.deb 21-Jul-2026 20:43 1M
libcoq-core_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 20:44 1M
libcoq-core_9.2.0+dfsg-3_amd64.deb 28-Jul-2026 02:31 1M
libcoq-core_9.2.0+dfsg-3_amd64v3.deb 28-Jul-2026 02:31 1M
libcoq-core_9.2.0+dfsg-3_arm64.deb 28-Jul-2026 02:31 1M
libcoq-core_9.2.0+dfsg-3build1_amd64.deb 26-Aug-2026 17:54 1M
libcoq-core_9.2.0+dfsg-3build1_amd64v3.deb 26-Aug-2026 17:54 1M
libcoq-core_9.2.0+dfsg-3build1_arm64.deb 26-Aug-2026 17:55 1M
libcoq-core_9.2.0+dfsg-4_amd64.deb 27-Aug-2026 15:32 1M
libcoq-core_9.2.0+dfsg-4_amd64v3.deb 27-Aug-2026 15:32 1M
libcoq-core_9.2.0+dfsg-4_arm64.deb 27-Aug-2026 15:33 1M
libcoq-core_9.2.0+dfsg-4build1_amd64.deb 09-Sep-2026 19:20 1M
libcoq-core_9.2.0+dfsg-4build1_amd64v3.deb 09-Sep-2026 18:51 1M
libcoq-core_9.2.0+dfsg-4build1_arm64.deb 09-Sep-2026 19:20 1M
libcoq-ocaml-dev_8.11.0-1_amd64.deb 06-Mar-2020 10:38 15M
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb 20-Jan-2014 01:58 3M
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb 20-Jan-2014 01:58 3M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb 04-Nov-2015 16:04 4M
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb 04-Nov-2015 15:39 4M
libcoq-ocaml-dev_8.6-5build1_amd64.deb 28-Oct-2017 17:34 13M
libcoq-ocaml-dev_8.6-5build1_i386.deb 28-Oct-2017 17:34 13M
libcoq-ocaml_8.11.0-1_amd64.deb 06-Mar-2020 10:38 6M
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 20-Jan-2014 01:58 2M
libcoq-ocaml_8.4pl3dfsg-1_i386.deb 20-Jan-2014 01:58 1M
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb 04-Nov-2015 16:04 1M
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb 04-Nov-2015 15:39 1M
libcoq-ocaml_8.6-5build1_amd64.deb 28-Oct-2017 17:34 3M
libcoq-ocaml_8.6-5build1_i386.deb 28-Oct-2017 17:34 3M
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb 06-Feb-2022 01:51 24M
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb 31-Mar-2024 21:32 25M
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb 18-Feb-2025 03:40 26M
libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb 20-Jun-2025 01:39 26M
libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb 20-Jun-2025 01:39 26M
libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb 01-Mar-2026 15:54 26M
libcoq-stdlib_8.20.1+dfsg-1build4_amd64v3.deb 01-Mar-2026 15:55 26M
libcoq-stdlib_8.20.1+dfsg-1build4_arm64.deb 01-Mar-2026 15:55 26M
libcoq-stdlib_8.20.1+dfsg-1build5_amd64.deb 07-Jul-2026 23:10 26M
libcoq-stdlib_8.20.1+dfsg-1build5_amd64v3.deb 07-Jul-2026 23:40 26M
libcoq-stdlib_8.20.1+dfsg-1build5_arm64.deb 07-Jul-2026 23:40 26M
rocqide_9.2.0+dfsg-2_amd64.deb 21-Jul-2026 20:43 2M
rocqide_9.2.0+dfsg-2_amd64v3.deb 21-Jul-2026 20:43 2M
rocqide_9.2.0+dfsg-2_arm64.deb 21-Jul-2026 20:44 3M
rocqide_9.2.0+dfsg-3_amd64.deb 28-Jul-2026 02:31 2M
rocqide_9.2.0+dfsg-3_amd64v3.deb 28-Jul-2026 02:31 2M
rocqide_9.2.0+dfsg-3_arm64.deb 28-Jul-2026 02:31 3M
rocqide_9.2.0+dfsg-3build1_amd64.deb 26-Aug-2026 17:54 2M
rocqide_9.2.0+dfsg-3build1_amd64v3.deb 26-Aug-2026 17:54 2M
rocqide_9.2.0+dfsg-3build1_arm64.deb 26-Aug-2026 17:55 3M
rocqide_9.2.0+dfsg-4_amd64.deb 27-Aug-2026 15:32 2M
rocqide_9.2.0+dfsg-4_amd64v3.deb 27-Aug-2026 15:32 2M
rocqide_9.2.0+dfsg-4_arm64.deb 27-Aug-2026 15:33 3M
rocqide_9.2.0+dfsg-4build1_amd64.deb 09-Sep-2026 19:20 2M
rocqide_9.2.0+dfsg-4build1_amd64v3.deb 09-Sep-2026 18:51 2M
rocqide_9.2.0+dfsg-4build1_arm64.deb 09-Sep-2026 19:20 3M