Name                                            Last modified      Size  Description
 Parent Directory                                                     -   
 frama-c-base_20220511-manganese-5+b11_armel.deb 2024-10-12 08:57   36M  
 frama-c-base_20220511-manganese-5+b12_amd64.deb 2024-10-12 08:52   57M  
 frama-c-base_20220511-manganese-5+b12_arm64.deb 2024-10-12 08:52   60M  
 frama-c-base_20220511-manganese-5+b12_armel.deb 2025-01-15 05:04   36M  
 frama-c-base_20220511-manganese-5+b12_armhf.deb 2024-10-12 08:57   35M  
 frama-c-base_20220511-manganese-5+b12_i386.deb  2024-10-12 08:52   37M  
 frama-c-base_20220511-manganese-5+b13_amd64.deb 2025-01-15 04:48   58M  
 frama-c-base_20220511-manganese-5+b13_arm64.deb 2025-01-15 04:48   60M  
 frama-c-base_20220511-manganese-5+b13_armhf.deb 2025-01-15 04:59   35M  
 frama-c-base_20220511-manganese-5+b13_i386.deb  2025-01-15 04:48   37M  
 frama-c_20220511-manganese-5.debian.tar.xz      2023-09-09 08:58   16K  
 frama-c_20220511-manganese-5.dsc                2023-09-09 08:58  2.1K  
 frama-c_20220511-manganese.orig.tar.gz          2022-06-18 21:27  7.7M  

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