Index of /ubuntu-ports/pool/universe/f/frama-c

 Name                                                      Last modified      Size  Description
 Parent Directory                                                               -   
 frama-c-base_20130601+fluorine3+dfsg-2build1_arm64.deb    2013-12-24 01:08   12M  
 frama-c-base_20130601+fluorine3+dfsg-2build1_armhf.deb    2013-12-24 00:13   21M  
 frama-c-base_20130601+fluorine3+dfsg-2build1_powerpc.deb  2013-12-24 01:08   20M  
 frama-c-base_20130601+fluorine3+dfsg-2build1_ppc64el.deb  2014-02-18 03:04   12M  
 frama-c-base_20151002+magnesium+dfsg-1build1_arm64.deb    2016-02-04 13:06   19M  
 frama-c-base_20151002+magnesium+dfsg-1build1_armhf.deb    2016-02-04 13:06   18M  
 frama-c-base_20151002+magnesium+dfsg-1build1_powerpc.deb  2016-02-04 12:31   17M  
 frama-c-base_20151002+magnesium+dfsg-1build1_ppc64el.deb  2016-02-04 12:32   11M  
 frama-c-base_20151002+magnesium+dfsg-1build1_s390x.deb    2016-02-04 12:32   11M  
 frama-c-base_20170501+phosphorus+dfsg-2build1_arm64.deb   2017-10-28 18:20   23M  
 frama-c-base_20170501+phosphorus+dfsg-2build1_armhf.deb   2017-10-28 19:03   21M  
 frama-c-base_20170501+phosphorus+dfsg-2build1_ppc64el.deb 2017-10-28 18:21   22M  
 frama-c-base_20170501+phosphorus+dfsg-2build1_s390x.deb   2017-10-28 18:21   21M  
 frama-c-base_20191204+calcium-0.1_arm64.deb               2020-04-01 21:09   36M  
 frama-c-base_20191204+calcium-0.1_armhf.deb               2020-04-01 21:09   34M  
 frama-c-base_20191204+calcium-0.1_ppc64el.deb             2020-04-01 21:09   35M  
 frama-c-base_20191204+calcium-0.1_riscv64.deb             2020-04-05 19:43   22M  
 frama-c-base_20191204+calcium-0.1_s390x.deb               2020-04-01 21:09   34M  
 frama-c-base_20220511-manganese-5build14_arm64.deb        2024-09-06 16:27   63M  
 frama-c-base_20220511-manganese-5build14_armhf.deb        2024-09-06 16:27   35M  
 frama-c-base_20220511-manganese-5build14_ppc64el.deb      2024-09-06 16:27   61M  
 frama-c-base_20220511-manganese-5build14_riscv64.deb      2024-09-06 17:36   67M  
 frama-c-base_20220511-manganese-5build14_s390x.deb        2024-09-06 16:27   60M  
 frama-c-base_20220511-manganese-5build16_arm64.deb        2025-01-25 16:57   63M  
 frama-c-base_20220511-manganese-5build16_armhf.deb        2025-01-25 16:57   35M  
 frama-c-base_20220511-manganese-5build16_ppc64el.deb      2025-01-25 16:57   61M  
 frama-c-base_20220511-manganese-5build16_riscv64.deb      2025-01-25 18:47   67M  
 frama-c-base_20220511-manganese-5build16_s390x.deb        2025-01-25 16:57   60M  
 frama-c-base_20220511-manganese-5build7_arm64.deb         2024-03-31 08:12   66M  
 frama-c-base_20220511-manganese-5build7_armhf.deb         2024-03-31 08:12   61M  
 frama-c-base_20220511-manganese-5build7_ppc64el.deb       2024-03-31 12:52   64M  
 frama-c-base_20220511-manganese-5build7_riscv64.deb       2024-03-31 18:14   69M  
 frama-c-base_20220511-manganese-5build7_s390x.deb         2024-03-31 08:14   62M  
 frama-c_20130601+fluorine3+dfsg-2build1_arm64.deb         2013-12-24 01:08  1.1M  
 frama-c_20130601+fluorine3+dfsg-2build1_armhf.deb         2013-12-24 00:13  3.4M  
 frama-c_20130601+fluorine3+dfsg-2build1_powerpc.deb       2013-12-24 01:08  3.0M  
 frama-c_20130601+fluorine3+dfsg-2build1_ppc64el.deb       2014-02-18 03:04  1.1M  
 frama-c_20151002+magnesium+dfsg-1build1_arm64.deb         2016-02-04 13:06  8.1M  
 frama-c_20151002+magnesium+dfsg-1build1_armhf.deb         2016-02-04 13:06  8.2M  
 frama-c_20151002+magnesium+dfsg-1build1_powerpc.deb       2016-02-04 12:31  7.7M  
 frama-c_20151002+magnesium+dfsg-1build1_ppc64el.deb       2016-02-04 12:32  1.8M  
 frama-c_20151002+magnesium+dfsg-1build1_s390x.deb         2016-02-04 12:32  1.9M  
 frama-c_20170501+phosphorus+dfsg-2build1_arm64.deb        2017-10-28 18:20   13M  
 frama-c_20170501+phosphorus+dfsg-2build1_armhf.deb        2017-10-28 19:03   11M  
 frama-c_20170501+phosphorus+dfsg-2build1_ppc64el.deb      2017-10-28 18:21   12M  
 frama-c_20170501+phosphorus+dfsg-2build1_s390x.deb        2017-10-28 18:21   12M