Ubuntu
camlp5 package

ubuntu/+source/camlp5:debian/sid

  1. Git
  2. lp:ubuntu/+source/camlp5
  3. debian/sid
Last commit made on 2023-09-06
Get this branch:
git clone -b debian/sid 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:
debian/sid
Repository:
lp:ubuntu/+source/camlp5

Recent commits

244eaf3... by Stéphane Glondu

8.02.01-2 (patches unapplied)

Imported using git-ubuntu import.

0d587e6... by Stéphane Glondu

8.02.01-1 (patches unapplied)

Imported using git-ubuntu import.

31c3e41... by Stéphane Glondu

8.00.04-1 (patches unapplied)

Imported using git-ubuntu import.

50ae14b... by Stéphane Glondu

8.00.03-1 (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.