Ubuntu
frama-c package

View Bazaar branches
Get this repository:
git clone https://git.launchpad.net/ubuntu/+source/frama-c
Members of git-ubuntu import can upload to this repository. Log in for directions.

See all merge proposals.

Branches

Name Last Modified Last Commit
applied/ubuntu/artful 2017-09-10 16:28:36 UTC
20170501+phosphorus+dfsg-2 (patches applied)

Author: Mehdi
Author Date: 2017-09-10 11:52:22 UTC

20170501+phosphorus+dfsg-2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/artful-devel 2017-09-10 16:28:36 UTC
20170501+phosphorus+dfsg-2 (patches applied)

Author: Mehdi
Author Date: 2017-09-10 11:52:22 UTC

20170501+phosphorus+dfsg-2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/zesty-proposed 2017-01-15 16:12:48 UTC
20161101+silicon+dfsg-5 (patches applied)

Author: Mehdi
Author Date: 2017-01-15 12:00:55 UTC

20161101+silicon+dfsg-5 (patches applied)

Imported using git-ubuntu import.
applied/debian/stretch 2017-01-15 16:12:48 UTC
20161101+silicon+dfsg-5 (patches applied)

Author: Mehdi
Author Date: 2017-01-15 12:00:55 UTC

20161101+silicon+dfsg-5 (patches applied)

Imported using git-ubuntu import.
ubuntu/zesty-devel 2017-01-15 16:12:48 UTC
20161101+silicon+dfsg-5 (patches unapplied)

Author: Mehdi
Author Date: 2017-01-15 12:00:55 UTC

20161101+silicon+dfsg-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/zesty-proposed 2017-01-15 16:12:48 UTC
20161101+silicon+dfsg-5 (patches unapplied)

Author: Mehdi
Author Date: 2017-01-15 12:00:55 UTC

20161101+silicon+dfsg-5 (patches unapplied)

Imported using git-ubuntu import.
debian/stretch 2017-01-15 16:12:48 UTC
20161101+silicon+dfsg-5 (patches unapplied)

Author: Mehdi
Author Date: 2017-01-15 12:00:55 UTC

20161101+silicon+dfsg-5 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/zesty-devel 2017-01-15 16:12:48 UTC
20161101+silicon+dfsg-5 (patches applied)

Author: Mehdi
Author Date: 2017-01-15 12:00:55 UTC

20161101+silicon+dfsg-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety-devel 2016-07-10 10:50:08 UTC
20151002+magnesium+dfsg-1build2 (patches applied)

Author: Steve Langasek
Author Date: 2016-07-10 10:49:02 UTC

20151002+magnesium+dfsg-1build2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety 2016-07-10 10:50:08 UTC
20151002+magnesium+dfsg-1build2 (patches applied)

Author: Steve Langasek
Author Date: 2016-07-10 10:49:02 UTC

20151002+magnesium+dfsg-1build2 (patches applied)

Imported using git-ubuntu import.
ubuntu/yakkety-proposed 2016-07-10 10:50:08 UTC
20151002+magnesium+dfsg-1build2 (patches unapplied)

Author: Steve Langasek
Author Date: 2016-07-10 10:49:02 UTC

20151002+magnesium+dfsg-1build2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/zesty 2016-07-10 10:50:08 UTC
20151002+magnesium+dfsg-1build2 (patches unapplied)

Author: Steve Langasek
Author Date: 2016-07-10 10:49:02 UTC

20151002+magnesium+dfsg-1build2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/zesty 2016-07-10 10:50:08 UTC
20151002+magnesium+dfsg-1build2 (patches applied)

Author: Steve Langasek
Author Date: 2016-07-10 10:49:02 UTC

20151002+magnesium+dfsg-1build2 (patches applied)

Imported using git-ubuntu import.
ubuntu/yakkety-devel 2016-07-10 10:50:08 UTC
20151002+magnesium+dfsg-1build2 (patches unapplied)

Author: Steve Langasek
Author Date: 2016-07-10 10:49:02 UTC

20151002+magnesium+dfsg-1build2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/yakkety 2016-07-10 10:50:08 UTC
20151002+magnesium+dfsg-1build2 (patches unapplied)

Author: Steve Langasek
Author Date: 2016-07-10 10:49:02 UTC

20151002+magnesium+dfsg-1build2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety-proposed 2016-07-10 10:50:08 UTC
20151002+magnesium+dfsg-1build2 (patches applied)

Author: Steve Langasek
Author Date: 2016-07-10 10:49:02 UTC

20151002+magnesium+dfsg-1build2 (patches applied)

Imported using git-ubuntu import.
ubuntu/xenial-proposed 2016-02-04 11:04:10 UTC
20151002+magnesium+dfsg-1build1 (patches unapplied)

Author: Matthias Klose
Author Date: 2016-02-04 10:58:13 UTC

20151002+magnesium+dfsg-1build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/xenial-devel 2016-02-04 11:04:10 UTC
20151002+magnesium+dfsg-1build1 (patches unapplied)

Author: Matthias Klose
Author Date: 2016-02-04 10:58:13 UTC

20151002+magnesium+dfsg-1build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/xenial 2016-02-04 11:04:10 UTC
20151002+magnesium+dfsg-1build1 (patches unapplied)

Author: Matthias Klose
Author Date: 2016-02-04 10:58:13 UTC

20151002+magnesium+dfsg-1build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/xenial-devel 2016-02-04 11:04:10 UTC
20151002+magnesium+dfsg-1build1 (patches applied)

Author: Matthias Klose
Author Date: 2016-02-04 10:58:13 UTC

20151002+magnesium+dfsg-1build1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/xenial 2016-02-04 11:04:10 UTC
20151002+magnesium+dfsg-1build1 (patches applied)

Author: Matthias Klose
Author Date: 2016-02-04 10:58:13 UTC

20151002+magnesium+dfsg-1build1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/xenial-proposed 2016-02-04 11:04:10 UTC
20151002+magnesium+dfsg-1build1 (patches applied)

Author: Matthias Klose
Author Date: 2016-02-04 10:58:13 UTC

20151002+magnesium+dfsg-1build1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/wily 2015-09-01 22:12:49 UTC
20150201+sodium+dfsg-2 (patches applied)

Author: Mehdi
Author Date: 2015-09-01 19:34:32 UTC

20150201+sodium+dfsg-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/wily-proposed 2015-09-01 22:12:49 UTC
20150201+sodium+dfsg-2 (patches unapplied)

Author: Mehdi
Author Date: 2015-09-01 19:34:32 UTC

20150201+sodium+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/wily-proposed 2015-09-01 22:12:49 UTC
20150201+sodium+dfsg-2 (patches applied)

Author: Mehdi
Author Date: 2015-09-01 19:34:32 UTC

20150201+sodium+dfsg-2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/wily-devel 2015-09-01 22:12:49 UTC
20150201+sodium+dfsg-2 (patches applied)

Author: Mehdi
Author Date: 2015-09-01 19:34:32 UTC

20150201+sodium+dfsg-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/wily-devel 2015-09-01 22:12:49 UTC
20150201+sodium+dfsg-2 (patches unapplied)

Author: Mehdi
Author Date: 2015-09-01 19:34:32 UTC

20150201+sodium+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/wily 2015-09-01 22:12:49 UTC
20150201+sodium+dfsg-2 (patches unapplied)

Author: Mehdi
Author Date: 2015-09-01 19:34:32 UTC

20150201+sodium+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/vivid-devel 2014-04-30 04:13:12 UTC
20140301+neon+dfsg-3 (patches unapplied)

Author: Mehdi
Author Date: 2014-04-29 17:16:49 UTC

20140301+neon+dfsg-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/vivid-devel 2014-04-30 04:13:12 UTC
20140301+neon+dfsg-3 (patches applied)

Author: Mehdi
Author Date: 2014-04-29 17:16:49 UTC

20140301+neon+dfsg-3 (patches applied)

Imported using git-ubuntu import.
debian/jessie 2014-04-30 04:13:12 UTC
20140301+neon+dfsg-3 (patches unapplied)

Author: Mehdi
Author Date: 2014-04-29 17:16:49 UTC

20140301+neon+dfsg-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/vivid 2014-04-30 04:13:12 UTC
20140301+neon+dfsg-3 (patches applied)

Author: Mehdi
Author Date: 2014-04-29 17:16:49 UTC

20140301+neon+dfsg-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/utopic-proposed 2014-04-30 04:13:12 UTC
20140301+neon+dfsg-3 (patches applied)

Author: Mehdi
Author Date: 2014-04-29 17:16:49 UTC

20140301+neon+dfsg-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/utopic-devel 2014-04-30 04:13:12 UTC
20140301+neon+dfsg-3 (patches applied)

Author: Mehdi
Author Date: 2014-04-29 17:16:49 UTC

20140301+neon+dfsg-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/utopic 2014-04-30 04:13:12 UTC
20140301+neon+dfsg-3 (patches applied)

Author: Mehdi
Author Date: 2014-04-29 17:16:49 UTC

20140301+neon+dfsg-3 (patches applied)

Imported using git-ubuntu import.
applied/debian/jessie 2014-04-30 04:13:12 UTC
20140301+neon+dfsg-3 (patches applied)

Author: Mehdi
Author Date: 2014-04-29 17:16:49 UTC

20140301+neon+dfsg-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/utopic 2014-04-30 04:13:12 UTC
20140301+neon+dfsg-3 (patches unapplied)

Author: Mehdi
Author Date: 2014-04-29 17:16:49 UTC

20140301+neon+dfsg-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/utopic-devel 2014-04-30 04:13:12 UTC
20140301+neon+dfsg-3 (patches unapplied)

Author: Mehdi
Author Date: 2014-04-29 17:16:49 UTC

20140301+neon+dfsg-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/utopic-proposed 2014-04-30 04:13:12 UTC
20140301+neon+dfsg-3 (patches unapplied)

Author: Mehdi
Author Date: 2014-04-29 17:16:49 UTC

20140301+neon+dfsg-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/vivid 2014-04-30 04:13:12 UTC
20140301+neon+dfsg-3 (patches unapplied)

Author: Mehdi
Author Date: 2014-04-29 17:16:49 UTC

20140301+neon+dfsg-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/trusty 2013-12-23 22:45:26 UTC
20130601+fluorine3+dfsg-2build1 (patches applied)

Author: Matthias Klose
Author Date: 2013-12-23 22:01:50 UTC

20130601+fluorine3+dfsg-2build1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/trusty-proposed 2013-12-23 22:45:26 UTC
20130601+fluorine3+dfsg-2build1 (patches applied)

Author: Matthias Klose
Author Date: 2013-12-23 22:01:50 UTC

20130601+fluorine3+dfsg-2build1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/trusty-devel 2013-12-23 22:45:26 UTC
20130601+fluorine3+dfsg-2build1 (patches applied)

Author: Matthias Klose
Author Date: 2013-12-23 22:01:50 UTC

20130601+fluorine3+dfsg-2build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/trusty-proposed 2013-12-23 22:45:26 UTC
20130601+fluorine3+dfsg-2build1 (patches unapplied)

Author: Matthias Klose
Author Date: 2013-12-23 22:01:50 UTC

20130601+fluorine3+dfsg-2build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/trusty-devel 2013-12-23 22:45:26 UTC
20130601+fluorine3+dfsg-2build1 (patches unapplied)

Author: Matthias Klose
Author Date: 2013-12-23 22:01:50 UTC

20130601+fluorine3+dfsg-2build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/trusty 2013-12-23 22:45:26 UTC
20130601+fluorine3+dfsg-2build1 (patches unapplied)

Author: Matthias Klose
Author Date: 2013-12-23 22:01:50 UTC

20130601+fluorine3+dfsg-2build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/quantal 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches applied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches applied)

Imported using git-ubuntu import.
applied/debian/wheezy 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches applied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches applied)

Imported using git-ubuntu import.
ubuntu/quantal 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches unapplied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/quantal-devel 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches unapplied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/raring 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches unapplied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/raring-devel 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches unapplied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/saucy 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches unapplied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/saucy-devel 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches unapplied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.
debian/wheezy 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches unapplied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/quantal-devel 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches applied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/raring 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches applied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/raring-devel 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches applied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/saucy 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches applied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/saucy-devel 2012-05-16 21:17:51 UTC
20111001+nitrogen+dfsg-4 (patches applied)

Author: Mehdi
Author Date: 2012-05-16 12:58:29 UTC

20111001+nitrogen+dfsg-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/precise-devel 2012-01-06 21:22:08 UTC
20111001+nitrogen+dfsg-3 (patches applied)

Author: Mehdi
Author Date: 2012-01-06 08:30:44 UTC

20111001+nitrogen+dfsg-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/precise 2012-01-06 21:22:08 UTC
20111001+nitrogen+dfsg-3 (patches applied)

Author: Mehdi
Author Date: 2012-01-06 08:30:44 UTC

20111001+nitrogen+dfsg-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/precise 2012-01-06 21:22:08 UTC
20111001+nitrogen+dfsg-3 (patches unapplied)

Author: Mehdi
Author Date: 2012-01-06 08:30:44 UTC

20111001+nitrogen+dfsg-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/precise-devel 2012-01-06 21:22:08 UTC
20111001+nitrogen+dfsg-3 (patches unapplied)

Author: Mehdi
Author Date: 2012-01-06 08:30:44 UTC

20111001+nitrogen+dfsg-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/oneiric-devel 2011-09-24 12:26:55 UTC
20110201+carbon+dfsg-2build2 (patches applied)

Author: Iain Lane
Author Date: 2011-09-24 08:26:39 UTC

20110201+carbon+dfsg-2build2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/oneiric 2011-09-24 12:26:55 UTC
20110201+carbon+dfsg-2build2 (patches applied)

Author: Iain Lane
Author Date: 2011-09-24 08:26:39 UTC

20110201+carbon+dfsg-2build2 (patches applied)

Imported using git-ubuntu import.
ubuntu/oneiric-devel 2011-09-24 12:26:55 UTC
20110201+carbon+dfsg-2build2 (patches unapplied)

Author: Iain Lane
Author Date: 2011-09-24 08:26:39 UTC

20110201+carbon+dfsg-2build2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/oneiric 2011-09-24 12:26:55 UTC
20110201+carbon+dfsg-2build2 (patches unapplied)

Author: Iain Lane
Author Date: 2011-09-24 08:26:39 UTC

20110201+carbon+dfsg-2build2 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/squeeze 2010-10-06 03:17:19 UTC
20100401+boron+dfsg-5 (patches applied)

Author: Mehdi
Author Date: 2010-10-05 16:49:13 UTC

20100401+boron+dfsg-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/natty 2010-10-06 03:17:19 UTC
20100401+boron+dfsg-5 (patches applied)

Author: Mehdi
Author Date: 2010-10-05 16:49:13 UTC

20100401+boron+dfsg-5 (patches applied)

Imported using git-ubuntu import.
debian/squeeze 2010-10-06 03:17:19 UTC
20100401+boron+dfsg-5 (patches unapplied)

Author: Mehdi
Author Date: 2010-10-05 16:49:13 UTC

20100401+boron+dfsg-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/natty 2010-10-06 03:17:19 UTC
20100401+boron+dfsg-5 (patches unapplied)

Author: Mehdi
Author Date: 2010-10-05 16:49:13 UTC

20100401+boron+dfsg-5 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/natty-devel 2010-10-06 03:17:19 UTC
20100401+boron+dfsg-5 (patches unapplied)

Author: Mehdi
Author Date: 2010-10-05 16:49:13 UTC

20100401+boron+dfsg-5 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/natty-devel 2010-10-06 03:17:19 UTC
20100401+boron+dfsg-5 (patches applied)

Author: Mehdi
Author Date: 2010-10-05 16:49:13 UTC

20100401+boron+dfsg-5 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/maverick 2010-07-16 20:16:54 UTC
20100401+boron+dfsg-4 (patches applied)

Author: Mehdi
Author Date: 2010-07-16 11:53:55 UTC

20100401+boron+dfsg-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/maverick-devel 2010-07-16 20:16:54 UTC
20100401+boron+dfsg-4 (patches applied)

Author: Mehdi
Author Date: 2010-07-16 11:53:55 UTC

20100401+boron+dfsg-4 (patches applied)

Imported using git-ubuntu import.
ubuntu/maverick 2010-07-16 20:16:54 UTC
20100401+boron+dfsg-4 (patches unapplied)

Author: Mehdi
Author Date: 2010-07-16 11:53:55 UTC

20100401+boron+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/maverick-devel 2010-07-16 20:16:54 UTC
20100401+boron+dfsg-4 (patches unapplied)

Author: Mehdi
Author Date: 2010-07-16 11:53:55 UTC

20100401+boron+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/lucid 2010-02-12 09:17:38 UTC
20090902+beryllium+dfsg-4 (patches applied)

Author: Mehdi
Author Date: 2010-02-11 19:57:17 UTC

20090902+beryllium+dfsg-4 (patches applied)

Imported using git-ubuntu import.
ubuntu/lucid-devel 2010-02-12 09:17:38 UTC
20090902+beryllium+dfsg-4 (patches unapplied)

Author: Mehdi
Author Date: 2010-02-11 19:57:17 UTC

20090902+beryllium+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lucid 2010-02-12 09:17:38 UTC
20090902+beryllium+dfsg-4 (patches unapplied)

Author: Mehdi
Author Date: 2010-02-11 19:57:17 UTC

20090902+beryllium+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/lucid-devel 2010-02-12 09:17:38 UTC
20090902+beryllium+dfsg-4 (patches applied)

Author: Mehdi
Author Date: 2010-02-11 19:57:17 UTC

20090902+beryllium+dfsg-4 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/karmic 2009-06-08 11:35:25 UTC
20081201.dfsg-2 (patches applied)

Author: Mehdi
Author Date: 2009-06-03 06:19:25 UTC

20081201.dfsg-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/karmic 2009-06-08 11:35:25 UTC
20081201.dfsg-2 (patches unapplied)

Author: Mehdi
Author Date: 2009-06-03 06:19:25 UTC

20081201.dfsg-2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/karmic-devel 2009-06-08 11:35:25 UTC
20081201.dfsg-2 (patches applied)

Author: Mehdi
Author Date: 2009-06-03 06:19:25 UTC

20081201.dfsg-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/karmic-devel 2009-06-08 11:35:25 UTC
20081201.dfsg-2 (patches unapplied)

Author: Mehdi
Author Date: 2009-06-03 06:19:25 UTC

20081201.dfsg-2 (patches unapplied)

Imported using git-ubuntu import.
101 → 186 of 186 results First • • Next • Last

Other repositories

Name Last Modified
lp:ubuntu/+source/frama-c 2024-04-30
1 → 1 of 1 result First • Previous • Next • Last
You can't create new repositories for frama-c in Ubuntu.