Ubuntu
frama-c package

ubuntu/+source/frama-c:applied/ubuntu/trusty-proposed

  1. Git
  2. lp:ubuntu/+source/frama-c
  3. applied/ubuntu/trusty-proposed
Last commit made on 2013-12-23
Get this branch:
git clone -b applied/ubuntu/trusty-proposed 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/trusty-proposed
Repository:
lp:ubuntu/+source/frama-c

Recent commits

e0e51fc... by Matthias Klose

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

Imported using git-ubuntu import.

e22da7a... by Matthias Klose

Fix compilation with OCaml 4.01.0

Gbp-Pq: 0005-Fix-compilation-with-OCaml-4.01.0.patch.

50fe5bc... by Matthias Klose

Fix auto-detection of ocaml-zarith

Gbp-Pq: 0004-Fix-auto-detection-of-ocaml-zarith.patch.

ca3ab05... by Matthias Klose

Disable CHMOD_RO invocations

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

a3d80f7... by Matthias Klose

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

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

2cecd21... by Matthias Klose

Fix spelling-error-in-binary

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

830e215... by Matthias Klose

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

Imported using git-ubuntu import.

17f77d1... by Stéphane Glondu

20130601+fluorine3+dfsg-2 (patches applied)

Imported using git-ubuntu import.

16931e0... by Stéphane Glondu

20130601+fluorine3+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

7eae976... by Stéphane Glondu

Fix compilation with OCaml 4.01.0

Gbp-Pq: 0005-Fix-compilation-with-OCaml-4.01.0.patch.