Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/kali/pool/main/f/frama-c/?C=M&O=A

 Name                                           Last modified      Size  
 Parent Directory                                                    -   
 frama-c_20220511-manganese.orig.tar.gz         18-Jun-2022 21:27  7.7M  
 frama-c_20220511-manganese-5.debian.tar.xz     09-Sep-2023 08:58   16K  
 frama-c_20220511-manganese-5.dsc               09-Sep-2023 08:58  2.1K  
 frama-c-base_20220511-manganese-5+b6_arm64.deb 13-Mar-2024 03:05   55M  
 frama-c-base_20220511-manganese-5+b6_amd64.deb 13-Mar-2024 06:30   52M  
 frama-c-base_20220511-manganese-5+b6_i386.deb  13-Mar-2024 06:56   50M  
 frama-c-base_20220511-manganese-5+b6_armhf.deb 25-Mar-2024 12:02   51M  
 frama-c-base_20220511-manganese-5+b5_armel.deb 25-Mar-2024 18:45   32M  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!