Ubuntu
frama-c package

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

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

Recent commits

a4db9e0... by Jeremy Bícha

20200625+scandium-2build1 (patches applied)

Imported using git-ubuntu import.

9f02176... by Jeremy Bícha

Value.cmo needs LoopAnalysis.cmo

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

7598934... by Jeremy Bícha

Use ocamlfind package lablgtk2-gnome.gnomecanvas

Gbp-Pq: 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch.

443452d... by Jeremy Bícha

Disable CHMOD_RO invocations

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

d127f1a... by Jeremy Bícha

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

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

b4d2d88... by Jeremy Bícha

20200625+scandium-2build1 (patches unapplied)

Imported using git-ubuntu import.

a77e007... by Ralf Treinen <email address hidden>

20200625+scandium-2 (patches applied)

Imported using git-ubuntu import.

a4ae9c8... by Ralf Treinen <email address hidden>

20200625+scandium-2 (patches unapplied)

Imported using git-ubuntu import.

ae96fcf... by Ralf Treinen <email address hidden>

Value.cmo needs LoopAnalysis.cmo

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

5f0725f... by Ralf Treinen <email address hidden>

Use ocamlfind package lablgtk2-gnome.gnomecanvas

Gbp-Pq: 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch.