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-3build3_arm64.deb         2023-02-19 17:43   77M  
 frama-c-base_20220511-manganese-3build3_armhf.deb         2023-02-19 17:43   72M  
 frama-c-base_20220511-manganese-3build3_ppc64el.deb       2023-02-19 17:43   75M  
 frama-c-base_20220511-manganese-3build3_riscv64.deb       2023-02-19 20:19   78M  
 frama-c-base_20220511-manganese-3build3_s390x.deb         2023-02-19 17:43   73M  
 frama-c-base_20220511-manganese-5_arm64.deb               2023-09-11 15:20   65M  
 frama-c-base_20220511-manganese-5_armhf.deb               2023-09-11 15:20   60M  
 frama-c-base_20220511-manganese-5_ppc64el.deb             2023-09-11 15:20   63M  
 frama-c-base_20220511-manganese-5_riscv64.deb             2023-09-11 16:41   66M  
 frama-c-base_20220511-manganese-5_s390x.deb               2023-09-11 15:21   61M  
 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.debian.tar.gz     2013-12-23 23:58   25K  
 frama-c_20130601+fluorine3+dfsg-2build1.dsc               2013-12-23 23:58  1.7K  
 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_20130601+fluorine3+dfsg.orig.tar.gz               2013-11-26 06:13  2.5M  
 frama-c_20151002+magnesium+dfsg-1build1.debian.tar.xz     2016-02-04 12:25   22K  
 frama-c_20151002+magnesium+dfsg-1build1.dsc               2016-02-04 12:25  2.3K  
 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_20151002+magnesium+dfsg.orig.tar.gz               2016-01-24 06:09  5.8M  
 frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz    2017-10-28 18:19   29K  
 frama-c_20170501+phosphorus+dfsg-2build1.dsc              2017-10-28 18:19  2.3K  
 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  
 frama-c_20170501+phosphorus+dfsg.orig.tar.gz              2017-08-12 01:08  7.1M  
 frama-c_20191204+calcium-0.1.debian.tar.xz                2020-04-01 19:53   22K  
 frama-c_20191204+calcium-0.1.dsc                          2020-04-01 19:53  2.1K  
 frama-c_20191204+calcium.orig.tar.gz                      2020-02-25 15:03  5.5M  
 frama-c_20220511-manganese-3build3.debian.tar.xz          2023-02-19 17:43   16K  
 frama-c_20220511-manganese-3build3.dsc                    2023-02-19 17:43  2.4K  
 frama-c_20220511-manganese-5.debian.tar.xz                2023-09-11 15:19   16K  
 frama-c_20220511-manganese-5.dsc                          2023-09-11 15:19  2.1K  
 frama-c_20220511-manganese-5build7.debian.tar.xz          2024-03-31 08:12   17K  
 frama-c_20220511-manganese-5build7.dsc                    2024-03-31 08:12  2.4K  
 frama-c_20220511-manganese.orig.tar.gz                    2022-06-19 19:34  7.7M