Welcome to ftp.nluug.nl Current directory: /ftp/debian/pool/main/f/frama-c/?C=M;O=A

Current bandwidth utilization 97.84 Mbit/s

 Name                                              Last modified      Size  
 Parent Directory                                                       -   
 frama-c_20140301+neon+dfsg.orig.tar.gz            27-Apr-2014 22:56  2.7M  
 frama-c_20140301+neon+dfsg-3_amd64.deb            29-Apr-2014 19:44  3.5M  
 frama-c-base_20140301+neon+dfsg-3_amd64.deb       29-Apr-2014 19:44   18M  
 frama-c_20140301+neon+dfsg-3.debian.tar.xz        29-Apr-2014 19:44   23K  
 frama-c_20140301+neon+dfsg-3.dsc                  29-Apr-2014 19:44  2.3K  
 frama-c_20140301+neon+dfsg-3_i386.deb             29-Apr-2014 20:14  3.2M  
 frama-c-base_20140301+neon+dfsg-3_i386.deb        29-Apr-2014 20:14   18M  
 frama-c_20140301+neon+dfsg-3_armhf.deb            29-Apr-2014 20:45  3.6M  
 frama-c-base_20140301+neon+dfsg-3_armhf.deb       29-Apr-2014 20:45   20M  
 frama-c_20161101+silicon+dfsg.orig.tar.gz         21-Dec-2016 11:28  6.4M  
 frama-c_20161101+silicon+dfsg-5.debian.tar.xz     15-Jan-2017 13:29   26K  
 frama-c_20161101+silicon+dfsg-5.dsc               15-Jan-2017 13:29  2.4K  
 frama-c-base_20161101+silicon+dfsg-5+b1_i386.deb  21-Mar-2017 23:11   19M  
 frama-c_20161101+silicon+dfsg-5+b1_i386.deb       21-Mar-2017 23:11  9.6M  
 frama-c-base_20161101+silicon+dfsg-5+b1_amd64.deb 21-Mar-2017 23:11   19M  
 frama-c_20161101+silicon+dfsg-5+b1_amd64.deb      21-Mar-2017 23:11   10M  
 frama-c-base_20161101+silicon+dfsg-5+b1_arm64.deb 21-Mar-2017 23:26   19M  
 frama-c_20161101+silicon+dfsg-5+b1_arm64.deb      21-Mar-2017 23:26   10M  
 frama-c-base_20161101+silicon+dfsg-5+b1_armhf.deb 21-Mar-2017 23:41   20M  
 frama-c_20161101+silicon+dfsg-5+b1_armhf.deb      21-Mar-2017 23:41   10M  
 frama-c_20171101+sulfur+dfsg.orig.tar.gz          11-May-2018 19:40  6.8M  
 frama-c_20171101+sulfur+dfsg-2.debian.tar.xz      12-Nov-2018 13:04   23K  
 frama-c_20171101+sulfur+dfsg-2.dsc                12-Nov-2018 13:04  1.8K  
 frama-c-base_20171101+sulfur+dfsg-2_amd64.deb     12-Nov-2018 13:04   21M  
 frama-c-base_20171101+sulfur+dfsg-2_arm64.deb     12-Nov-2018 14:10   23M  
 frama-c-base_20171101+sulfur+dfsg-2_i386.deb      12-Nov-2018 14:41   20M  
 frama-c-base_20171101+sulfur+dfsg-2_armhf.deb     12-Nov-2018 14:56   21M  
 frama-c_20201209+titanium.orig.tar.gz             02-Jan-2021 13:09  6.0M  
 frama-c_20201209+titanium-4.1.dsc                 12-Feb-2021 20:48  2.3K  
 frama-c_20201209+titanium-4.1.debian.tar.xz       12-Feb-2021 20:48   16K  
 frama-c-base_20201209+titanium-4.1_amd64.deb      12-Feb-2021 21:44   58M  
 frama-c-base_20201209+titanium-4.1_i386.deb       12-Feb-2021 21:44   56M  
 frama-c-base_20201209+titanium-4.1_arm64.deb      12-Feb-2021 21:59   61M  
 frama-c-base_20201209+titanium-4.1_armhf.deb      12-Feb-2021 21:59   57M  
 frama-c_20211203-chromium-1.dsc                   23-Mar-2022 09:13  2.3K  
 frama-c_20211203-chromium-1.debian.tar.xz         23-Mar-2022 09:13   16K  
 frama-c_20211203-chromium.orig.tar.gz             23-Mar-2022 09:13  7.5M  
 frama-c-base_20211203-chromium-1_armhf.deb        23-Mar-2022 09:58   59M  
 frama-c-base_20211203-chromium-1_arm64.deb        23-Mar-2022 10:13   63M  
 frama-c-base_20211203-chromium-1_i386.deb         23-Mar-2022 10:13   58M  
 frama-c-base_20211203-chromium-1_amd64.deb        23-Mar-2022 10:14   60M  

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