ubuntu/+source/coq:ubuntu/eoan
Last commit made on
2019-08-20
- Get this branch:
-
git clone
-b ubuntu/eoan
https://git.launchpad.net/ubuntu/+source/coq
Members of
git-ubuntu import
can upload to this branch.
Log in for directions.
Branch merges
Branch information
- Name:
- ubuntu/eoan
- Repository:
- lp:ubuntu/+source/coq
Recent commits
- e610cca... by Stéphane Glondu
- e8eaa68... by Benjamin Barenblat <email address hidden>
- 2289fe3... by Benjamin Barenblat <email address hidden>
- bff7890... by Stéphane Glondu
- 5be4259... by gares
- eeee259... by gares
- 672592d... by gares
- 1aa1a69... by gares
- 81e069e... by gares
- 0292ce3... by gares