Ubuntu
camlp5 package

ubuntu/+source/camlp5:applied/ubuntu/jammy

  1. Git
  2. lp:ubuntu/+source/camlp5
  3. applied/ubuntu/jammy
Last commit made on 2022-01-24
Get this branch:
git clone -b applied/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:
applied/ubuntu/jammy
Repository:
lp:ubuntu/+source/camlp5

Recent commits

98211e2... by Matthias Klose

8.00.02-1build1 (patches applied)

Imported using git-ubuntu import.

a34a6ac... by Matthias Klose

8.00.02-1build1 (patches unapplied)

Imported using git-ubuntu import.

0187b3e... by Stéphane Glondu

8.00.02-1 (patches applied)

Imported using git-ubuntu import.

b9d0a69... by Stéphane Glondu

8.00.02-1 (patches unapplied)

Imported using git-ubuntu import.

c440f80... by Stéphane Glondu

7.14-1 (patches applied)

Imported using git-ubuntu import.

9a0bcb3... by Stéphane Glondu

7.14-1 (patches unapplied)

Imported using git-ubuntu import.

f804843... by Stéphane Glondu

7.13-1 (patches applied)

Imported using git-ubuntu import.

f9ce467... by Stéphane Glondu

7.13-1 (patches unapplied)

Imported using git-ubuntu import.

c123b12... by Stéphane Glondu

7.12-1 (patches applied)

Imported using git-ubuntu import.

92b3a26... by Stéphane Glondu

7.12-1 (patches unapplied)

Imported using git-ubuntu import.