Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 jbmc_6.4.1-2_i386.deb                      2025-01-22 15:16  8.8M  
 jbmc_6.4.1-2_armhf.deb                     2025-01-22 17:34  5.7M  
 jbmc_6.4.1-2_armel.deb                     2025-01-22 15:26  6.6M  
 jbmc_6.4.1-2_arm64.deb                     2025-01-22 17:39  7.0M  
 jbmc_6.4.1-2_amd64.deb                     2025-01-22 15:32  8.3M  
 cbmc_6.4.1.orig.tar.gz                     2025-01-21 22:03  8.7M  
 cbmc_6.4.1.orig-java-models-library.tar.gz 2023-06-02 21:14  292K  
 cbmc_6.4.1.orig-java-cprover-api.tar.gz    2023-06-02 21:14   14K  
 cbmc_6.4.1-2_i386.deb                      2025-01-22 15:16   22M  
 cbmc_6.4.1-2_armhf.deb                     2025-01-22 17:34   16M  
 cbmc_6.4.1-2_armel.deb                     2025-01-22 15:26   16M  
 cbmc_6.4.1-2_arm64.deb                     2025-01-22 17:39   18M  
 cbmc_6.4.1-2_amd64.deb                     2025-01-22 15:32   21M  
 cbmc_6.4.1-2.dsc                           2025-01-22 13:02  3.0K  
 cbmc_6.4.1-2.debian.tar.xz                 2025-01-22 13:02   18K  

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