Ubuntu
ppx-tools package

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

  1. Git
  2. lp:ubuntu/+source/ppx-tools
  3. ubuntu/devel
Last commit made on 2023-11-02
Get this branch:
git clone -b ubuntu/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/devel
Repository:
lp:ubuntu/+source/ppx-tools

Recent commits

1f375ba... by Gianfranco Costamagna

6.6-4build1 (patches unapplied)

Imported using git-ubuntu import.

34f4b8b... by Stéphane Glondu

6.6-4 (patches unapplied)

Imported using git-ubuntu import.

19bb78c... by Stéphane Glondu

6.6-3 (patches unapplied)

Imported using git-ubuntu import.

5b1af2a... by Stéphane Glondu

6.6-2 (patches unapplied)

Imported using git-ubuntu import.

c61866e... by Stéphane Glondu

6.6-1 (patches unapplied)

Imported using git-ubuntu import.

16b23f2... by Stéphane Glondu

6.4-1 (patches unapplied)

Imported using git-ubuntu import.

4ddc8d0... by Stéphane Glondu

6.3-1 (patches unapplied)

Imported using git-ubuntu import.

382a87f... by Stéphane Glondu

6.2-1 (patches unapplied)

Imported using git-ubuntu import.

f76e3d9... by Stéphane Glondu

5.3+4.08.0-1 (patches unapplied)

Imported using git-ubuntu import.

c6192f5... by Stéphane Glondu

5.0+4.05.0-1 (patches unapplied)

Imported using git-ubuntu import.