Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 cbmc_6.1.1-2.debian.tar.xz                 2024-08-02 14:57   18K  
 cbmc_6.1.1-2.dsc                           2024-08-02 14:57  3.0K  
 cbmc_6.1.1-2_amd64.deb                     2024-08-02 16:49   21M  
 cbmc_6.1.1-2_arm64.deb                     2024-08-02 18:21   17M  
 cbmc_6.1.1-2_armel.deb                     2024-08-02 17:50   16M  
 cbmc_6.1.1-2_armhf.deb                     2024-08-02 16:13   16M  
 cbmc_6.1.1-2_i386.deb                      2024-08-02 16:24   22M  
 cbmc_6.1.1.orig-java-cprover-api.tar.gz    2023-06-02 21:14   14K  
 cbmc_6.1.1.orig-java-models-library.tar.gz 2023-06-02 21:14  292K  
 cbmc_6.1.1.orig.tar.gz                     2024-08-01 23:13  8.7M  
 jbmc_6.1.1-2_amd64.deb                     2024-08-02 16:49  8.3M  
 jbmc_6.1.1-2_arm64.deb                     2024-08-02 18:21  7.0M  
 jbmc_6.1.1-2_armel.deb                     2024-08-02 17:50  6.6M  
 jbmc_6.1.1-2_armhf.deb                     2024-08-02 16:13  5.6M  
 jbmc_6.1.1-2_i386.deb                      2024-08-02 16:24  8.8M  

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