Ubuntu
frama-c package

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

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

Recent commits

fb91ed8... by Steve Langasek

20220511-manganese-5build7 (patches applied)

Imported using git-ubuntu import.

7515cfd... by Steve Langasek

Fix compilation with recent yojson

Gbp-Pq: 0004-Fix-compilation-with-recent-yojson.patch.

58833d5... by Steve Langasek

Value.cmo needs LoopAnalysis.cmo

Gbp-Pq: 0003-Value.cmo-needs-LoopAnalysis.cmo.patch.

1e0c325... by Steve Langasek

Disable CHMOD_RO invocations

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

be50333... by Steve Langasek

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

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

8107aea... by Steve Langasek

20220511-manganese-5build7 (patches unapplied)

Imported using git-ubuntu import.

6d6d0a1... by Steve Langasek

20220511-manganese-5build6 (patches applied)

Imported using git-ubuntu import.

b2f62ee... by Steve Langasek

20220511-manganese-5build6 (patches unapplied)

Imported using git-ubuntu import.

41ca94a... by Steve Langasek

Fix compilation with recent yojson

Gbp-Pq: 0004-Fix-compilation-with-recent-yojson.patch.

0234483... by Steve Langasek

Value.cmo needs LoopAnalysis.cmo

Gbp-Pq: 0003-Value.cmo-needs-LoopAnalysis.cmo.patch.