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

Icon  Name                                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                                               -   
[   ] frama-c-base_20130601+fluorine3+dfsg-2build1_arm64.deb    2013-12-24 09:08   12M  
[   ] frama-c-base_20130601+fluorine3+dfsg-2build1_armhf.deb    2013-12-24 08:13   21M  
[   ] frama-c-base_20130601+fluorine3+dfsg-2build1_powerpc.deb  2013-12-24 09:08   20M  
[   ] frama-c-base_20130601+fluorine3+dfsg-2build1_ppc64el.deb  2014-02-18 11:04   12M  
[   ] frama-c-base_20151002+magnesium+dfsg-1build1_arm64.deb    2016-02-04 21:06   19M  
[   ] frama-c-base_20151002+magnesium+dfsg-1build1_armhf.deb    2016-02-04 21:06   18M  
[   ] frama-c-base_20151002+magnesium+dfsg-1build1_powerpc.deb  2016-02-04 20:31   17M  
[   ] frama-c-base_20151002+magnesium+dfsg-1build1_ppc64el.deb  2016-02-04 20:32   11M  
[   ] frama-c-base_20151002+magnesium+dfsg-1build1_s390x.deb    2016-02-04 20:32   11M  
[   ] frama-c-base_20170501+phosphorus+dfsg-2build1_arm64.deb   2017-10-29 01:20   23M  
[   ] frama-c-base_20170501+phosphorus+dfsg-2build1_armhf.deb   2017-10-29 02:03   21M  
[   ] frama-c-base_20170501+phosphorus+dfsg-2build1_ppc64el.deb 2017-10-29 01:21   22M  
[   ] frama-c-base_20170501+phosphorus+dfsg-2build1_s390x.deb   2017-10-29 01:21   21M  
[   ] frama-c-base_20191204+calcium-0.1_arm64.deb               2020-04-02 04:09   36M  
[   ] frama-c-base_20191204+calcium-0.1_armhf.deb               2020-04-02 04:09   34M  
[   ] frama-c-base_20191204+calcium-0.1_ppc64el.deb             2020-04-02 04:09   35M  
[   ] frama-c-base_20191204+calcium-0.1_riscv64.deb             2020-04-06 02:43   22M  
[   ] frama-c-base_20191204+calcium-0.1_s390x.deb               2020-04-02 04:09   34M  
[   ] frama-c-base_20220511-manganese-5build7_arm64.deb         2024-03-31 15:12   66M  
[   ] frama-c-base_20220511-manganese-5build7_armhf.deb         2024-03-31 15:12   61M  
[   ] frama-c-base_20220511-manganese-5build7_ppc64el.deb       2024-03-31 19:52   64M  
[   ] frama-c-base_20220511-manganese-5build7_riscv64.deb       2024-04-01 01:14   69M  
[   ] frama-c-base_20220511-manganese-5build7_s390x.deb         2024-03-31 15:14   62M  
[   ] frama-c-base_20220511-manganese-5build14_arm64.deb        2024-09-06 23:27   63M  
[   ] frama-c-base_20220511-manganese-5build14_armhf.deb        2024-09-06 23:27   35M  
[   ] frama-c-base_20220511-manganese-5build14_ppc64el.deb      2024-09-06 23:27   61M  
[   ] frama-c-base_20220511-manganese-5build14_riscv64.deb      2024-09-07 00:36   67M  
[   ] frama-c-base_20220511-manganese-5build14_s390x.deb        2024-09-06 23:27   60M  
[   ] frama-c-base_20220511-manganese-5build16_arm64.deb        2025-01-26 00:57   63M  
[   ] frama-c-base_20220511-manganese-5build16_armhf.deb        2025-01-26 00:57   35M  
[   ] frama-c-base_20220511-manganese-5build16_ppc64el.deb      2025-01-26 00:57   61M  
[   ] frama-c-base_20220511-manganese-5build16_riscv64.deb      2025-01-26 02:47   67M  
[   ] frama-c-base_20220511-manganese-5build16_s390x.deb        2025-01-26 00:57   60M  
[   ] frama-c_20130601+fluorine3+dfsg-2build1.debian.tar.gz     2013-12-24 07:58   25K  
[TXT] frama-c_20130601+fluorine3+dfsg-2build1.dsc               2013-12-24 07:58  1.7K  
[   ] frama-c_20130601+fluorine3+dfsg-2build1_arm64.deb         2013-12-24 09:08  1.1M  
[   ] frama-c_20130601+fluorine3+dfsg-2build1_armhf.deb         2013-12-24 08:13  3.4M  
[   ] frama-c_20130601+fluorine3+dfsg-2build1_powerpc.deb       2013-12-24 09:08  3.0M  
[   ] frama-c_20130601+fluorine3+dfsg-2build1_ppc64el.deb       2014-02-18 11:04  1.1M  
[   ] frama-c_20130601+fluorine3+dfsg.orig.tar.gz               2013-11-26 14:13  2.5M  
[   ] frama-c_20151002+magnesium+dfsg-1build1.debian.tar.xz     2016-02-04 20:25   22K  
[TXT] frama-c_20151002+magnesium+dfsg-1build1.dsc               2016-02-04 20:25  2.3K  
[   ] frama-c_20151002+magnesium+dfsg-1build1_arm64.deb         2016-02-04 21:06  8.1M  
[   ] frama-c_20151002+magnesium+dfsg-1build1_armhf.deb         2016-02-04 21:06  8.2M  
[   ] frama-c_20151002+magnesium+dfsg-1build1_powerpc.deb       2016-02-04 20:31  7.7M  
[   ] frama-c_20151002+magnesium+dfsg-1build1_ppc64el.deb       2016-02-04 20:32  1.8M  
[   ] frama-c_20151002+magnesium+dfsg-1build1_s390x.deb         2016-02-04 20:32  1.9M  
[   ] frama-c_20151002+magnesium+dfsg.orig.tar.gz               2016-01-24 14:09  5.8M  
[   ] frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz    2017-10-29 01:19   29K  
[TXT] frama-c_20170501+phosphorus+dfsg-2build1.dsc              2017-10-29 01:19  2.3K  
[   ] frama-c_20170501+phosphorus+dfsg-2build1_arm64.deb        2017-10-29 01:20   13M  
[   ] frama-c_20170501+phosphorus+dfsg-2build1_armhf.deb        2017-10-29 02:03   11M  
[   ] frama-c_20170501+phosphorus+dfsg-2build1_ppc64el.deb      2017-10-29 01:21   12M  
[   ] frama-c_20170501+phosphorus+dfsg-2build1_s390x.deb        2017-10-29 01:21   12M  
[   ] frama-c_20170501+phosphorus+dfsg.orig.tar.gz              2017-08-12 08:08  7.1M  
[   ] frama-c_20191204+calcium-0.1.debian.tar.xz                2020-04-02 02:53   22K  
[TXT] frama-c_20191204+calcium-0.1.dsc                          2020-04-02 02:53  2.1K  
[   ] frama-c_20191204+calcium.orig.tar.gz                      2020-02-25 23:03  5.5M  
[   ] frama-c_20220511-manganese-5build7.debian.tar.xz          2024-03-31 15:12   17K  
[TXT] frama-c_20220511-manganese-5build7.dsc                    2024-03-31 15:12  2.4K  
[   ] frama-c_20220511-manganese-5build14.debian.tar.xz         2024-09-06 23:26   17K  
[TXT] frama-c_20220511-manganese-5build14.dsc                   2024-09-06 23:26  2.4K  
[   ] frama-c_20220511-manganese.orig.tar.gz                    2022-06-20 02:34  7.7M