Ubuntu
frama-c package

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

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

Recent commits

d95e507... by Mehdi

20100401+boron+dfsg-4 (patches applied)

Imported using git-ubuntu import.

4509578... by Mehdi

[PATCH] More spelling fixes

Gbp-Pq: 0010-More-spelling-fixes.patch.

e23e608... by Mehdi

[PATCH] unrollType in handle_signed_overflow

Gbp-Pq: 0009-unrollType-in-handle_signed_overflow.patch.

0d4e05d... by Mehdi

[PATCH] Fix ai/ival.ml:filter_ge

Gbp-Pq: 0008-Fix-ai-ival.ml-filter_ge.patch.

7aa8c12... by Mehdi

[PATCH] Fix cpp command arguments

Gbp-Pq: 0007-Fix-cpp-command-arguments.patch.

6bfed1f... by Mehdi

[PATCH] OCamlgraph 1.5 is compatible

Gbp-Pq: 0006-OCamlgraph-1.5-is-compatible.patch.

6f3891e... by Mehdi

[PATCH] Don't modify system files

Gbp-Pq: 0005-Don-t-modify-system-files.patch.

46f7557... by Mehdi

[PATCH] Fix some typos

Gbp-Pq: 0004-Fix-some-typos.patch.

f36f230... by Mehdi

[PATCH] Fix build on bytecode-only architectures

Gbp-Pq: 0003-Fix-build-on-bytecode-only-architectures.patch.

99559d9... by Mehdi

[PATCH] .make-ocamlgraph no-op for non-local ocamlgraph

Gbp-Pq: 0002-.make-ocamlgraph-no-op-for-non-local-ocamlgraph.patch.