Welcome To SC Mirrors Site

We are delighted to offer you accelerated services for open-source software.

Region Option

Asian / Tokyo
mirrors.tyo.silicloud.com
American / Los Angeles
mirrors.lax.silicloud.com

Mirrors Help

If you're unsure how to configure Linux distributions/software installation sources, we offer assistance for mainstream distributions here:

Config Guide

Common Links

Silicon Cloud

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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
frama-c-base_20130601+fluorine3+dfsg-2build1_ar..> 130333062013-Dec-24 00:08
frama-c-base_20130601+fluorine3+dfsg-2build1_ar..> 218223462013-Dec-23 23:13
frama-c-base_20130601+fluorine3+dfsg-2build1_po..> 204771862013-Dec-24 00:08
frama-c-base_20130601+fluorine3+dfsg-2build1_pp..> 129665922014-Feb-18 02:04
frama-c-base_20151002+magnesium+dfsg-1build1_ar..> 194874582016-Feb-04 12:06
frama-c-base_20151002+magnesium+dfsg-1build1_ar..> 187538602016-Feb-04 12:06
frama-c-base_20151002+magnesium+dfsg-1build1_po..> 182478582016-Feb-04 11:31
frama-c-base_20151002+magnesium+dfsg-1build1_pp..> 113639762016-Feb-04 11:32
frama-c-base_20151002+magnesium+dfsg-1build1_s3..> 115063962016-Feb-04 11:32
frama-c-base_20170501+phosphorus+dfsg-2build1_a..> 238537202017-Oct-28 16:20
frama-c-base_20170501+phosphorus+dfsg-2build1_a..> 219543602017-Oct-28 17:03
frama-c-base_20170501+phosphorus+dfsg-2build1_p..> 228605522017-Oct-28 16:21
frama-c-base_20170501+phosphorus+dfsg-2build1_s..> 223922002017-Oct-28 16:21
frama-c-base_20191204+calcium-0.1_arm64.deb 379999722020-Apr-01 19:09
frama-c-base_20191204+calcium-0.1_armhf.deb 357499402020-Apr-01 19:09
frama-c-base_20191204+calcium-0.1_ppc64el.deb 369011282020-Apr-01 19:09
frama-c-base_20191204+calcium-0.1_riscv64.deb 233630322020-Apr-05 17:43
frama-c-base_20191204+calcium-0.1_s390x.deb 361606202020-Apr-01 19:09
frama-c-base_20220511-manganese-3build3_arm64.deb 810030922023-Feb-19 16:43
frama-c-base_20220511-manganese-3build3_armhf.deb 756401182023-Feb-19 16:43
frama-c-base_20220511-manganese-3build3_ppc64el..> 786629802023-Feb-19 16:43
frama-c-base_20220511-manganese-3build3_riscv64..> 816537602023-Feb-19 19:19
frama-c-base_20220511-manganese-3build3_s390x.deb 764310642023-Feb-19 16:43
frama-c-base_20220511-manganese-5_arm64.deb 680256722023-Sep-11 13:20
frama-c-base_20220511-manganese-5_armhf.deb 633840002023-Sep-11 13:20
frama-c-base_20220511-manganese-5_ppc64el.deb 661388042023-Sep-11 13:20
frama-c-base_20220511-manganese-5_riscv64.deb 693843462023-Sep-11 14:41
frama-c-base_20220511-manganese-5_s390x.deb 640377582023-Sep-11 13:21
frama-c-base_20220511-manganese-5build14_arm64.deb 662727642024-Sep-06 14:27
frama-c-base_20220511-manganese-5build14_armhf.deb 368000442024-Sep-06 14:27
frama-c-base_20220511-manganese-5build14_ppc64e..> 644291222024-Sep-06 14:27
frama-c-base_20220511-manganese-5build14_riscv6..> 704018222024-Sep-06 15:36
frama-c-base_20220511-manganese-5build14_s390x.deb 630265902024-Sep-06 14:27
frama-c-base_20220511-manganese-5build7_arm64.deb 691812762024-Mar-31 06:12
frama-c-base_20220511-manganese-5build7_armhf.deb 643902942024-Mar-31 06:12
frama-c-base_20220511-manganese-5build7_ppc64el..> 673057002024-Mar-31 10:52
frama-c-base_20220511-manganese-5build7_riscv64..> 721418202024-Mar-31 16:14
frama-c-base_20220511-manganese-5build7_s390x.deb 649799822024-Mar-31 06:14
frama-c_20130601+fluorine3+dfsg-2build1.debian...> 257902013-Dec-23 22:58
frama-c_20130601+fluorine3+dfsg-2build1.dsc 17212013-Dec-23 22:58
frama-c_20130601+fluorine3+dfsg-2build1_arm64.deb 11276322013-Dec-24 00:08
frama-c_20130601+fluorine3+dfsg-2build1_armhf.deb 36152902013-Dec-23 23:13
frama-c_20130601+fluorine3+dfsg-2build1_powerpc..> 31556922013-Dec-24 00:08
frama-c_20130601+fluorine3+dfsg-2build1_ppc64el..> 11174282014-Feb-18 02:04
frama-c_20130601+fluorine3+dfsg.orig.tar.gz 26400532013-Nov-26 05:13
frama-c_20151002+magnesium+dfsg-1build1.debian...> 222682016-Feb-04 11:25
frama-c_20151002+magnesium+dfsg-1build1.dsc 23952016-Feb-04 11:25
frama-c_20151002+magnesium+dfsg-1build1_arm64.deb 84833802016-Feb-04 12:06
frama-c_20151002+magnesium+dfsg-1build1_armhf.deb 86039442016-Feb-04 12:06
frama-c_20151002+magnesium+dfsg-1build1_powerpc..> 80560022016-Feb-04 11:31
frama-c_20151002+magnesium+dfsg-1build1_ppc64el..> 19272782016-Feb-04 11:32
frama-c_20151002+magnesium+dfsg-1build1_s390x.deb 19768862016-Feb-04 11:32
frama-c_20151002+magnesium+dfsg.orig.tar.gz 60395232016-Jan-24 05:09
frama-c_20170501+phosphorus+dfsg-2build1.debian..> 297482017-Oct-28 16:19
frama-c_20170501+phosphorus+dfsg-2build1.dsc 23962017-Oct-28 16:19
frama-c_20170501+phosphorus+dfsg-2build1_arm64.deb 136412402017-Oct-28 16:20
frama-c_20170501+phosphorus+dfsg-2build1_armhf.deb 115972002017-Oct-28 17:03
frama-c_20170501+phosphorus+dfsg-2build1_ppc64e..> 125278162017-Oct-28 16:21
frama-c_20170501+phosphorus+dfsg-2build1_s390x.deb 122029962017-Oct-28 16:21
frama-c_20170501+phosphorus+dfsg.orig.tar.gz 74200182017-Aug-11 23:08
frama-c_20191204+calcium-0.1.debian.tar.xz 224602020-Apr-01 17:53
frama-c_20191204+calcium-0.1.dsc 21972020-Apr-01 17:53
frama-c_20191204+calcium.orig.tar.gz 57876972020-Feb-25 14:03
frama-c_20220511-manganese-3build3.debian.tar.xz 162762023-Feb-19 16:43
frama-c_20220511-manganese-3build3.dsc 24312023-Feb-19 16:43
frama-c_20220511-manganese-5.debian.tar.xz 168162023-Sep-11 13:19
frama-c_20220511-manganese-5.dsc 21452023-Sep-11 13:19
frama-c_20220511-manganese-5build14.debian.tar.xz 172082024-Sep-06 14:26
frama-c_20220511-manganese-5build14.dsc 24472024-Sep-06 14:26
frama-c_20220511-manganese-5build7.debian.tar.xz 170882024-Mar-31 06:12
frama-c_20220511-manganese-5build7.dsc 24802024-Mar-31 06:12
frama-c_20220511-manganese.orig.tar.gz 80743512022-Jun-19 17:34

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

cube envelope hashtag github