Name                                        Last modified      Size  Description
 Parent Directory                                                 -   
 aac-tactics_8.11.0-1.debian.tar.xz          2020-03-18 19:28  3.4K  
 aac-tactics_8.11.0-1.dsc                    2020-03-18 19:28  2.1K  
 aac-tactics_8.11.0.orig.tar.gz              2020-03-18 19:28   64K  
 aac-tactics_8.15.0-1.debian.tar.xz          2022-02-06 18:19  3.5K  
 aac-tactics_8.15.0-1.dsc                    2022-02-06 18:19  2.2K  
 aac-tactics_8.15.0.orig.tar.gz              2022-02-06 18:19   67K  
 libaac-tactics-coq_8.11.0-1_all.deb         2020-03-18 20:48  238K  
 libaac-tactics-coq_8.15.0-1_all.deb         2022-02-06 20:04  282K  
 libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb 2020-03-18 20:48   38K  
 libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb 2022-02-06 20:04   40K  
 libaac-tactics-ocaml_8.11.0-1_amd64.deb     2020-03-18 20:48  104K  
 libaac-tactics-ocaml_8.15.0-1_amd64.deb     2022-02-06 20:04  128K  

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