Name                                          Last modified      Size  Description
 Parent Directory                                                   -   
 coq_8.11.0-1.dsc                              2020-03-06 08:53  2.4K  
 coq_8.11.0-1.debian.tar.xz                    2020-03-06 08:53   31K  
 coq_8.11.0.orig.tar.gz                        2020-03-06 08:53  5.6M  
 coq_8.11.0-1_amd64.deb                        2020-03-06 09:38   73M  
 coqide_8.11.0-1_amd64.deb                     2020-03-06 09:38  1.7M  
 coq-theories_8.11.0-1_amd64.deb               2020-03-06 09:38   32M  
 libcoq-ocaml_8.11.0-1_amd64.deb               2020-03-06 09:38  6.0M  
 libcoq-ocaml-dev_8.11.0-1_amd64.deb           2020-03-06 09:38   15M  
 coq_8.15.0+dfsg.orig.tar.xz                   2022-01-18 00:14  4.5M  
 coq_8.15.0+dfsg-2.debian.tar.xz               2022-02-05 18:49   39K  
 coq_8.15.0+dfsg-2.dsc                         2022-02-05 18:49  2.5K  
 coqide_8.15.0+dfsg-2_amd64.deb                2022-02-06 00:51  2.3M  
 libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb     2022-02-06 00:51   26M  
 libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb 2022-02-06 00:51   43M  
 libcoq-stdlib_8.15.0+dfsg-2_amd64.deb         2022-02-06 00:51   24M  
 coq_8.15.0+dfsg-2_amd64.deb                   2022-02-06 00:52   91M  

This mirror is hosted by Funkfreunde Landshut e.V. We are the first mirror ever present in Hamnet / AMPRNet. In case you are missing anything or have a question drop us an email at click to see address.

Current mirror size: GB. Mirror health