ubuntu/+source/frama-c:ubuntu/natty-devel

Last commit made on 2010-10-06
Get this branch:
git clone -b ubuntu/natty-devel https://git.launchpad.net/ubuntu/+source/frama-c
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
ubuntu/natty-devel
Repository:
lp:ubuntu/+source/frama-c

Recent commits

d2e49f4... by Mehdi

20100401+boron+dfsg-5 (patches unapplied)

Imported using git-ubuntu import.

6d0a14f... by Mehdi

20100401+boron+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.

8b7c522... by Mehdi

20100401+boron+dfsg-3 (patches unapplied)

Imported using git-ubuntu import.

12a7f41... by Mehdi

20100401+boron+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

9ff118b... by Mehdi

20100401+boron+dfsg-1 (patches unapplied)

Imported using git-ubuntu import.

c51e7cd... by Mehdi

20090902+beryllium+dfsg-5 (patches unapplied)

Imported using git-ubuntu import.

2c7cd9a... by Mehdi

20090902+beryllium+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.

728ab93... by Mehdi

20090902+beryllium+dfsg-3 (patches unapplied)

Imported using git-ubuntu import.

42c431f... by Mehdi

20090902+beryllium+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

d611806... by Mehdi

20090902+beryllium+dfsg-1 (patches unapplied)

Imported using git-ubuntu import.