Ubuntu
ppx-tools package

ubuntu/+source/ppx-tools:ubuntu/zesty-devel

  1. Git
  2. lp:ubuntu/+source/ppx-tools
  3. ubuntu/zesty-devel
Last commit made on 2016-07-27
Get this branch:
git clone -b ubuntu/zesty-devel https://git.launchpad.net/ubuntu/+source/ppx-tools
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
ubuntu/zesty-devel
Repository:
lp:ubuntu/+source/ppx-tools

Recent commits

c28225a... by Stéphane Glondu

5.0+4.02.0-1 (patches unapplied)

Imported using git-ubuntu import.

b141059... by Stéphane Glondu

0.99.2-4 (patches unapplied)

Imported using git-ubuntu import.

e8aa53c... by Stéphane Glondu

0.99.2-3 (patches unapplied)

Imported using git-ubuntu import.

86818eb... by Stéphane Glondu

0.99.2-2 (patches unapplied)

Imported using git-ubuntu import.

a05de88... by Stéphane Glondu

0.99.2-1 (patches unapplied)

Imported using git-ubuntu import.