ubuntu/+source/ocaml-zarith:ubuntu/disco
Last commit made on
2018-05-11
- Get this branch:
-
git clone
-b ubuntu/disco
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:
- ubuntu/disco
- Repository:
- lp:ubuntu/+source/ocaml-zarith
Recent commits
- 0487fb9... by Mehdi
- cffc271... by Stéphane Glondu
- 7dd5449... by Stéphane Glondu
- 721a2db... by Stéphane Glondu
- 1567aa5... by Mehdi
- 3c5fc03... by Mehdi
- d0add99... by Mehdi
- f28019c... by Mehdi
- 24e65b1... by Mehdi
- e9092d0... by Mehdi