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/pool/universe/f/frama-c/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
frama-c-base_20130601+fluorine3+dfsg-2build1_am..> 215874682013-Dec-23 22:58
frama-c-base_20130601+fluorine3+dfsg-2build1_i3..> 209875222013-Dec-23 22:58
frama-c-base_20151002+magnesium+dfsg-1build1_am..> 187636602016-Feb-04 11:27
frama-c-base_20151002+magnesium+dfsg-1build1_i3..> 182032902016-Feb-04 11:29
frama-c-base_20170501+phosphorus+dfsg-2build1_a..> 219998522017-Oct-28 16:20
frama-c-base_20170501+phosphorus+dfsg-2build1_i..> 211528722017-Oct-28 16:20
frama-c-base_20191204+calcium-0.1_amd64.deb 355107082020-Apr-01 19:09
frama-c-base_20220511-manganese-3build3_amd64.deb 758653302023-Feb-19 16:43
frama-c-base_20220511-manganese-5_amd64.deb 635366342023-Sep-11 13:20
frama-c-base_20220511-manganese-5build14_amd64.deb 621073702024-Sep-06 14:26
frama-c-base_20220511-manganese-5build7_amd64.deb 646897622024-Mar-31 18:37
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_amd64.deb 35127082013-Dec-23 22:58
frama-c_20130601+fluorine3+dfsg-2build1_i386.deb 32565462013-Dec-23 22:58
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_amd64.deb 85138362016-Feb-04 11:27
frama-c_20151002+magnesium+dfsg-1build1_i386.deb 81528482016-Feb-04 11:29
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_amd64.deb 119034642017-Oct-28 16:20
frama-c_20170501+phosphorus+dfsg-2build1_i386.deb 110975162017-Oct-28 16:20
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