Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

Index of /mirrors/pub/ubuntu/pool/universe/f/frama-c/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
frama-c_20130601+fluorine3+dfsg.orig.tar.gz2.5 MiB2013-11-26 05:13:22
frama-c_20130601+fluorine3+dfsg-2build1.debian.tar.gz25.2 KiB2013-12-23 22:58:27
frama-c_20130601+fluorine3+dfsg-2build1.dsc1.7 KiB2013-12-23 22:58:27
frama-c-base_20130601+fluorine3+dfsg-2build1_amd64.deb20.6 MiB2013-12-23 22:58:31
frama-c_20130601+fluorine3+dfsg-2build1_amd64.deb3.3 MiB2013-12-23 22:58:32
frama-c-base_20130601+fluorine3+dfsg-2build1_i386.deb20.0 MiB2013-12-23 22:58:43
frama-c_20130601+fluorine3+dfsg-2build1_i386.deb3.1 MiB2013-12-23 22:58:43
frama-c_20151002+magnesium+dfsg.orig.tar.gz5.8 MiB2016-01-24 05:09:06
frama-c_20151002+magnesium+dfsg-1build1.dsc2.3 KiB2016-02-04 11:25:58
frama-c_20151002+magnesium+dfsg-1build1.debian.tar.xz21.7 KiB2016-02-04 11:25:58
frama-c-base_20151002+magnesium+dfsg-1build1_amd64.deb17.9 MiB2016-02-04 11:27:32
frama-c_20151002+magnesium+dfsg-1build1_amd64.deb8.1 MiB2016-02-04 11:27:32
frama-c-base_20151002+magnesium+dfsg-1build1_i386.deb17.4 MiB2016-02-04 11:29:51
frama-c_20151002+magnesium+dfsg-1build1_i386.deb7.8 MiB2016-02-04 11:29:52
frama-c_20170501+phosphorus+dfsg.orig.tar.gz7.1 MiB2017-08-11 23:08:23
frama-c_20170501+phosphorus+dfsg-2build1.dsc2.3 KiB2017-10-28 16:19:11
frama-c_20170501+phosphorus+dfsg-2build1.debian.tar.xz29.1 KiB2017-10-28 16:19:11
frama-c_20170501+phosphorus+dfsg-2build1_amd64.deb11.4 MiB2017-10-28 16:20:05
frama-c-base_20170501+phosphorus+dfsg-2build1_amd64.deb21.0 MiB2017-10-28 16:20:05
frama-c-base_20170501+phosphorus+dfsg-2build1_i386.deb20.2 MiB2017-10-28 16:20:54
frama-c_20170501+phosphorus+dfsg-2build1_i386.deb10.6 MiB2017-10-28 16:20:55
frama-c_20191204+calcium.orig.tar.gz5.5 MiB2020-02-25 14:03:33
frama-c_20191204+calcium-0.1.dsc2.1 KiB2020-04-01 17:53:17
frama-c_20191204+calcium-0.1.debian.tar.xz21.9 KiB2020-04-01 17:53:18
frama-c-base_20191204+calcium-0.1_amd64.deb33.9 MiB2020-04-01 19:09:02
frama-c_20220511-manganese.orig.tar.gz7.7 MiB2022-06-19 17:34:28
frama-c_20220511-manganese-3build3.dsc2.4 KiB2023-02-19 16:43:52
frama-c_20220511-manganese-3build3.debian.tar.xz15.9 KiB2023-02-19 16:43:52
frama-c-base_20220511-manganese-3build3_amd64.deb72.4 MiB2023-02-19 16:43:53
frama-c_20220511-manganese-5.debian.tar.xz16.4 KiB2023-09-11 13:19:31
frama-c_20220511-manganese-5.dsc2.1 KiB2023-09-11 13:19:31
frama-c-base_20220511-manganese-5_amd64.deb60.6 MiB2023-09-11 13:20:38
frama-c_20220511-manganese-5build7.dsc2.4 KiB2024-03-31 06:12:09
frama-c_20220511-manganese-5build7.debian.tar.xz16.7 KiB2024-03-31 06:12:09
frama-c-base_20220511-manganese-5build7_amd64.deb61.7 MiB2024-03-31 18:37:09
frama-c_20220511-manganese-5build8.debian.tar.xz16.7 KiB2024-06-03 21:43:52
frama-c_20220511-manganese-5build8.dsc2.4 KiB2024-06-03 21:43:52
frama-c-base_20220511-manganese-5build8_amd64.deb61.7 MiB2024-06-04 00:33:48
frama-c_20220511-manganese-5build9.debian.tar.xz16.7 KiB2024-06-13 08:08:53
frama-c_20220511-manganese-5build9.dsc2.4 KiB2024-06-13 08:08:53
frama-c-base_20220511-manganese-5build9_amd64.deb61.7 MiB2024-06-13 08:08:57
frama-c_20220511-manganese-5build10.debian.tar.xz16.7 KiB2024-06-13 09:01:08
frama-c_20220511-manganese-5build10.dsc2.4 KiB2024-06-13 09:01:08
frama-c-base_20220511-manganese-5build10_amd64.deb61.7 MiB2024-06-13 09:54:07