Ubuntu
frama-c package

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

  1. Git
  2. lp:ubuntu/+source/frama-c
  3. applied/ubuntu/oneiric
Last commit made on 2011-09-24
Get this branch:
git clone -b applied/ubuntu/oneiric 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/oneiric
Repository:
lp:ubuntu/+source/frama-c

Recent commits

26bc281... by Iain Lane

20110201+carbon+dfsg-2build2 (patches applied)

Imported using git-ubuntu import.

017395a... by Iain Lane

Add +ocamlgraph to DYN_{O,B}LINKFLAGS

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

89aaf6c... by Iain Lane

Fix for issue 727

Gbp-Pq: 0002-Fix-for-issue-727.patch.

19a8587... by Iain Lane

Value Analysis Carbon patchlevel 1

Gbp-Pq: 0001-Value-Analysis-Carbon-patchlevel-1.patch.

d010f10... by Iain Lane

20110201+carbon+dfsg-2build2 (patches unapplied)

Imported using git-ubuntu import.

2069a58... by Adam Conrad

20110201+carbon+dfsg-2build1 (patches applied)

Imported using git-ubuntu import.

607da37... by Adam Conrad

20110201+carbon+dfsg-2build1 (patches unapplied)

Imported using git-ubuntu import.

04af834... by Adam Conrad

Add +ocamlgraph to DYN_{O,B}LINKFLAGS

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

be0df6f... by Adam Conrad

Fix for issue 727

Gbp-Pq: 0002-Fix-for-issue-727.patch.

af8d395... by Adam Conrad

Value Analysis Carbon patchlevel 1

Gbp-Pq: 0001-Value-Analysis-Carbon-patchlevel-1.patch.