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

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

Recent commits

9f5ac0c... by Stéphane Glondu

1.13-2 (patches applied)

Imported using git-ubuntu import.

418d0d1... by Stéphane Glondu

1.13-2 (patches unapplied)

Imported using git-ubuntu import.

d89b88d... by Stéphane Glondu

1.13-1 (patches applied)

Imported using git-ubuntu import.

f24e5d7... by Stéphane Glondu

1.13-1 (patches unapplied)

Imported using git-ubuntu import.

af0d0d9... by Stéphane Glondu

1.12-1 (patches applied)

Imported using git-ubuntu import.

98bc15c... by Stéphane Glondu

1.12-1 (patches unapplied)

Imported using git-ubuntu import.

7014d7a... by Stéphane Glondu

1.11-1 (patches applied)

Imported using git-ubuntu import.

f8bbee8... by Stéphane Glondu

1.11-1 (patches unapplied)

Imported using git-ubuntu import.

c346796... by Stéphane Glondu

1.10-1 (patches applied)

Imported using git-ubuntu import.

ea793e7... by Stéphane Glondu

1.10-1 (patches unapplied)

Imported using git-ubuntu import.