ubuntu/+source/frama-c:applied/ubuntu/saucy

Branch merges

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related charm recipes

0257c3b... by Mehdi on 2012-05-16

20111001+nitrogen+dfsg-4 (patches applied)

Imported using git-ubuntu import.

cad4949... by Mehdi on 2012-05-16

Port to OCamlgraph 1.8.2

Gbp-Pq: 0007-Port-to-OCamlgraph-1.8.2.patch.

40a06f5... by Mehdi on 2012-05-16

Patchlevel2 for Nitrogen 20111001

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

125e830... by Mehdi on 2012-05-16

Disable CHMOD_RO invocations

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

e3eac38... by Mehdi on 2012-05-16

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

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

d94e956... by Mehdi on 2012-05-16

Fix spelling-error-in-binary

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

41a916f... by Mehdi on 2012-05-16

Accept ocamlgraph 1.8*

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

1397c1a... by Mehdi on 2012-05-16

Add +ocamlgraph to DYN_{O,B}LINKFLAGS

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

a5aa14a... by Mehdi on 2012-05-16

20111001+nitrogen+dfsg-4 (patches unapplied)

Imported using git-ubuntu import.

9248665... by Mehdi on 2012-01-06

20111001+nitrogen+dfsg-3 (patches applied)

Imported using git-ubuntu import.