ubuntu/+source/camlp5:ubuntu/jammy

Last commit made on 2022-01-24
Get this branch:
git clone -b ubuntu/jammy https://git.launchpad.net/ubuntu/+source/camlp5
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
ubuntu/jammy
Repository:
lp:ubuntu/+source/camlp5

Recent commits

a34a6ac... by Matthias Klose

8.00.02-1build1 (patches unapplied)

Imported using git-ubuntu import.

b9d0a69... by Stéphane Glondu

8.00.02-1 (patches unapplied)

Imported using git-ubuntu import.

9a0bcb3... by Stéphane Glondu

7.14-1 (patches unapplied)

Imported using git-ubuntu import.

f9ce467... by Stéphane Glondu

7.13-1 (patches unapplied)

Imported using git-ubuntu import.

92b3a26... by Stéphane Glondu

7.12-1 (patches unapplied)

Imported using git-ubuntu import.

e7b281e... by Stéphane Glondu

7.11-1 (patches unapplied)

Imported using git-ubuntu import.

176923c... by Stéphane Glondu

7.10-1 (patches unapplied)

Imported using git-ubuntu import.

05aa34a... by Stéphane Glondu

7.08-2 (patches unapplied)

Imported using git-ubuntu import.

cb8560d... by Stéphane Glondu

7.08-1 (patches unapplied)

Imported using git-ubuntu import.

af71285... by Stéphane Glondu

7.07-1 (patches unapplied)

Imported using git-ubuntu import.