Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 cbmc_5.10-5ubuntu1.debian.tar.xz          2020-04-14 11:08   13K  
 cbmc_5.10-5ubuntu1.dsc                    2020-04-14 11:08  2.2K  
 cbmc_5.10-5ubuntu1_amd64.deb              2020-04-14 11:41   10M  
 cbmc_5.10.orig-java-models-library.tar.gz 2018-11-09 07:53  169K  
 cbmc_5.10.orig.tar.gz                     2018-11-09 07:53  6.1M  
 cbmc_5.12-5.debian.tar.xz                 2020-05-05 01:13   15K  
 cbmc_5.12-5.dsc                           2020-05-05 01:13  2.2K  
 cbmc_5.12-5_amd64.deb                     2020-05-05 02:58   17M  
 cbmc_5.12.orig-java-models-library.tar.gz 2020-05-02 16:33  297K  
 cbmc_5.12.orig.tar.gz                     2020-05-02 16:33  6.9M  

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