Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 cbmc_6.6.0-4.debian.tar.xz                 2025-04-30 15:08   16K  
 cbmc_6.6.0-4.dsc                           2025-04-30 15:08  3.1K  
 cbmc_6.6.0-4_amd64.deb                     2025-04-30 16:44   21M  
 cbmc_6.6.0-4_arm64.deb                     2025-04-30 18:46   18M  
 cbmc_6.6.0-4_armel.deb                     2025-04-30 18:46   16M  
 cbmc_6.6.0-4_armhf.deb                     2025-04-30 20:28   16M  
 cbmc_6.6.0-4_i386.deb                      2025-04-30 18:52   22M  
 cbmc_6.6.0.orig-java-cprover-api.tar.gz    2023-06-02 21:14   14K  
 cbmc_6.6.0.orig-java-models-library.tar.gz 2023-06-02 21:14  292K  
 cbmc_6.6.0.orig.tar.gz                     2025-04-29 13:10  8.7M  
 jbmc_6.6.0-4_amd64.deb                     2025-04-30 16:44  8.3M  
 jbmc_6.6.0-4_arm64.deb                     2025-04-30 18:46  7.0M  
 jbmc_6.6.0-4_armel.deb                     2025-04-30 18:46  6.6M  
 jbmc_6.6.0-4_armhf.deb                     2025-04-30 20:28  5.7M  
 jbmc_6.6.0-4_i386.deb                      2025-04-30 18:52  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