Ubuntu
frama-c package

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

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

Recent commits

f863403... by Mehdi

20150201+sodium+dfsg-2 (patches applied)

Imported using git-ubuntu import.

e112a3c... by Mehdi

Don't fail during the configure on bytecode architectures

Gbp-Pq: 0004-Don-t-fail-during-the-configure-on-bytecode-architec.patch.

20c1d17... by Mehdi

Disable CHMOD_RO invocations

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

c544315... by Mehdi

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

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

4122fe1... by Mehdi

Fix spelling-error-in-binary

Gbp-Pq: 0001-Fix-spelling-error-in-binary.patch.

4d5c553... by Mehdi

20150201+sodium+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

98297cf... by Mehdi

20150201+sodium+dfsg-1 (patches applied)

Imported using git-ubuntu import.

a5830ce... by Mehdi

20150201+sodium+dfsg-1 (patches unapplied)

Imported using git-ubuntu import.

042f9f5... by Mehdi

Don't fail during the configure on bytecode architectures

Gbp-Pq: 0004-Don-t-fail-during-the-configure-on-bytecode-architec.patch.

3c8072c... by Mehdi

Disable CHMOD_RO invocations

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