ubuntu/+source/ocaml-zarith:debian/sid

Last commit made on 2023-09-13
Get this branch:
git clone -b debian/sid https://git.launchpad.net/ubuntu/+source/ocaml-zarith
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/ocaml-zarith

Recent commits

418d0d1... by Stéphane Glondu

1.13-2 (patches unapplied)

Imported using git-ubuntu import.

f24e5d7... by Stéphane Glondu

1.13-1 (patches unapplied)

Imported using git-ubuntu import.

98bc15c... by Stéphane Glondu

1.12-1 (patches unapplied)

Imported using git-ubuntu import.

f8bbee8... by Stéphane Glondu

1.11-1 (patches unapplied)

Imported using git-ubuntu import.

ea793e7... by Stéphane Glondu

1.10-1 (patches unapplied)

Imported using git-ubuntu import.

1435a47... by Stéphane Glondu

1.9.1-1 (patches unapplied)

Imported using git-ubuntu import.

3b3c985... by Stéphane Glondu

1.8-1 (patches unapplied)

Imported using git-ubuntu import.

0487fb9... by Mehdi

1.7-1 (patches unapplied)

Imported using git-ubuntu import.

cffc271... by Stéphane Glondu

1.5-1 (patches unapplied)

Imported using git-ubuntu import.

7dd5449... by Stéphane Glondu

1.4.1-2 (patches unapplied)

Imported using git-ubuntu import.