Index of /mirrors/raspbian/raspbian/pool/main/c/coq

      Name                                             Last modified      Size  Description
      Parent Directory                                                      -   
      coq_8.6.orig.tar.gz                              2016-12-28 13:44  4.8M  
      coq_8.6-4.debian.tar.xz                          2016-12-30 00:56   21K  
      coq_8.6-4.dsc                                    2016-12-30 00:56  2.3K  
      coq-theories_8.6-4_armhf.deb                     2017-01-17 02:52   22M  
      coq_8.6-4_armhf.deb                              2017-01-17 02:52   13M  
      coqide_8.6-4_armhf.deb                           2017-01-17 02:52  1.3M  
      libcoq-ocaml-dev_8.6-4_armhf.deb                 2017-01-17 02:52   13M  
      libcoq-ocaml_8.6-4_armhf.deb                     2017-01-17 02:52  3.4M  
      coq_8.9.0-1.debian.tar.xz                        2019-02-06 18:49   27K  
      coq_8.9.0-1.dsc                                  2019-02-06 18:49  2.4K  
      coq_8.9.0.orig.tar.gz                            2019-02-06 18:49  5.1M  
      coq-theories_8.9.0-1_armhf.deb                   2019-02-25 10:08   19M  
      coq_8.9.0-1_armhf.deb                            2019-02-25 10:08   53M  
      libcoq-ocaml-dev_8.9.0-1_armhf.deb               2019-02-25 10:08   14M  
      libcoq-ocaml_8.9.0-1_armhf.deb                   2019-02-25 10:08  5.1M  
      coq_8.12.0.orig.tar.gz                           2020-08-22 10:26  5.7M  
      coq_8.12.0-3.debian.tar.xz                       2020-09-10 07:38   37K  
      coq_8.12.0-3.dsc                                 2020-09-10 07:38  2.4K  
      coq-theories_8.12.0-3+b2_armhf.deb               2020-12-03 17:49   23M  
      coq_8.12.0-3+b2_armhf.deb                        2020-12-03 17:49   82M  
      coqide_8.12.0-3+b2_armhf.deb                     2020-12-03 17:49  1.6M  
      libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb           2020-12-03 17:49   18M  
      libcoq-ocaml_8.12.0-3+b2_armhf.deb               2020-12-03 17:49  7.3M  
      coq_8.15.2+dfsg.orig.tar.xz                      2022-05-31 20:52  4.5M  
      coq_8.15.2+dfsg-2.debian.tar.xz                  2022-06-11 21:44   39K  
      coq_8.15.2+dfsg-2.dsc                            2022-06-11 21:44  2.5K  
      coq_8.15.2+dfsg-2_armhf.deb                      2022-07-10 10:09   72M  
      coqide_8.15.2+dfsg-2_armhf.deb                   2022-07-10 10:09  1.7M  
      libcoq-core-ocaml-dev_8.15.2+dfsg-2_armhf.deb    2022-07-10 10:09   41M  
      libcoq-core-ocaml_8.15.2+dfsg-2_armhf.deb        2022-07-10 10:09   21M  
      libcoq-stdlib_8.15.2+dfsg-2_armhf.deb            2022-07-10 10:09   20M  
      coq_8.16.1+dfsg-1.debian.tar.xz                  2022-11-29 08:35   32K  
      coq_8.16.1+dfsg-1.dsc                            2022-11-29 08:35  2.6K  
      coq_8.16.1+dfsg.orig.tar.xz                      2022-11-29 08:35  4.5M  
      coq_8.16.1+dfsg-1+b1_armhf.deb                   2023-02-02 19:58   83M  
      coqide_8.16.1+dfsg-1+b1_armhf.deb                2023-02-02 19:58  1.6M  
      libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_armhf.deb 2023-02-02 19:58   41M  
      libcoq-core-ocaml_8.16.1+dfsg-1+b1_armhf.deb     2023-02-02 19:58   21M  
      libcoq-stdlib_8.16.1+dfsg-1+b1_armhf.deb         2023-02-02 19:58   21M