Ubuntu
frama-c package

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

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

Recent commits

edf32f8... by Mehdi

20140301+neon+dfsg-3 (patches applied)

Imported using git-ubuntu import.

dd7aa56... by Mehdi

Don't fail during the configure on bytecode architectures

Gbp-Pq: 0005-Don-t-fail-during-the-configure-on-bytecode-architec.patch.

77687bc... by Mehdi

Port to OCamlgraph 1.8.5

Gbp-Pq: 0004-Port-to-OCamlgraph-1.8.5.patch.

165c1c9... by Mehdi

Disable CHMOD_RO invocations

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

819718b... by Mehdi

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

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

a839547... by Mehdi

Fix spelling-error-in-binary

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

5c30e24... by Mehdi

20140301+neon+dfsg-3 (patches unapplied)

Imported using git-ubuntu import.

9651777... by Mehdi

20140301+neon+dfsg-2 (patches applied)

Imported using git-ubuntu import.

41a6083... by Mehdi

20140301+neon+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

fa137bf... by Mehdi

Don't fail during the configure on bytecode architectures

Gbp-Pq: 0005-Don-t-fail-during-the-configure-on-bytecode-architec.patch.