Ubuntu
frama-c package

ubuntu/+source/frama-c:applied/debian/sid

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

Recent commits

f5a6789... by Stéphane Glondu

20220511-manganese-5 (patches applied)

Imported using git-ubuntu import.

bcc1ae7... by Stéphane Glondu

Fix compilation with recent yojson

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

5393d84... by Stéphane Glondu

Value.cmo needs LoopAnalysis.cmo

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

6b85073... by Stéphane Glondu

Disable CHMOD_RO invocations

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

5175a44... by Stéphane Glondu

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

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

83924e2... by Stéphane Glondu

20220511-manganese-5 (patches unapplied)

Imported using git-ubuntu import.

f57a25f... by Stéphane Glondu

20220511-manganese-4 (patches applied)

Imported using git-ubuntu import.

1294f3d... by Stéphane Glondu

20220511-manganese-4 (patches unapplied)

Imported using git-ubuntu import.

f436029... by Stéphane Glondu

Fix compilation with recent yojson

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

2d2d48c... by Stéphane Glondu

Value.cmo needs LoopAnalysis.cmo

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