Ubuntu
frama-c package

ubuntu/+source/frama-c:applied/ubuntu/precise-devel

  1. Git
  2. lp:ubuntu/+source/frama-c
  3. applied/ubuntu/precise-devel
Last commit made on 2012-01-06
Get this branch:
git clone -b applied/ubuntu/precise-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:
applied/ubuntu/precise-devel
Repository:
lp:ubuntu/+source/frama-c

Recent commits

9248665... by Mehdi

20111001+nitrogen+dfsg-3 (patches applied)

Imported using git-ubuntu import.

d9bddbc... by Mehdi

Patchlevel2 for Nitrogen 20111001

Gbp-Pq: 0006-Patchlevel2-for-Nitrogen-20111001.patch.

6e6e2d3... by Mehdi

Disable CHMOD_RO invocations

Gbp-Pq: 0005-Disable-CHMOD_RO-invocations.patch.

5c76b5f... by Mehdi

Use /bin/cp instead of /usr/bin/install

Gbp-Pq: 0004-Use-bin-cp-instead-of-usr-bin-install.patch.

a69392f... by Mehdi

Fix spelling-error-in-binary

Gbp-Pq: 0003-Fix-spelling-error-in-binary.patch.

7a90606... by Mehdi

Accept ocamlgraph 1.8*

Gbp-Pq: 0002-Accept-ocamlgraph-1.8.patch.

e3a6514... by Mehdi

Add +ocamlgraph to DYN_{O,B}LINKFLAGS

Gbp-Pq: 0001-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch.

3944963... by Mehdi

20111001+nitrogen+dfsg-3 (patches unapplied)

Imported using git-ubuntu import.

d633ad5... by Mehdi

20111001+nitrogen+dfsg-2 (patches applied)

Imported using git-ubuntu import.

091410a... by Mehdi

20111001+nitrogen+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.