ubuntu/+source/ulex0.8:applied/ubuntu/disco

Last commit made on 2017-10-27
Get this branch:
git clone -b applied/ubuntu/disco https://git.launchpad.net/ubuntu/+source/ulex0.8
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/disco
Repository:
lp:ubuntu/+source/ulex0.8

Recent commits

68417b4... by Gianfranco Costamagna

0.8-10build9 (patches applied)

Imported using git-ubuntu import.

4841cbd... by Gianfranco Costamagna

Compatibility with camlp5 strict

Gbp-Pq: 0005-Compatibility-with-camlp5-strict.patch.

c3848b6... by Gianfranco Costamagna

Use camlp5

Gbp-Pq: 0004-Use-camlp5.patch.

6a2332c... by Gianfranco Costamagna

Install with META name "ulex08"

Gbp-Pq: 0003-Install-with-META-name-ulex08.patch.

4767c84... by Gianfranco Costamagna

Fix version in META

Gbp-Pq: 0002-Fix-version-in-META.patch.

779e054... by Gianfranco Costamagna

Add DESTDIR

Gbp-Pq: 0001-Add-DESTDIR.patch.

e89f5ff... by Gianfranco Costamagna

0.8-10build9 (patches unapplied)

Imported using git-ubuntu import.

31d85c3... by Dimitri John Ledkov

0.8-10build8 (patches applied)

Imported using git-ubuntu import.

aab0071... by Dimitri John Ledkov

0.8-10build8 (patches unapplied)

Imported using git-ubuntu import.

9bb9e07... by Dimitri John Ledkov

Compatibility with camlp5 strict

Gbp-Pq: 0005-Compatibility-with-camlp5-strict.patch.