ubuntu/+source/coq:ubuntu/artful-devel
Last commit made on
2017-07-27
- Get this branch:
-
git clone
-b ubuntu/artful-devel
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/artful-devel
- Repository:
- lp:ubuntu/+source/coq
Recent commits
- 8011780... by Dimitri John Ledkov
- ebd3042... by Dimitri John Ledkov
- 5c5c646... by Dimitri John Ledkov
- 5be4259... by gares
- eeee259... by gares
- 672592d... by gares
- 1aa1a69... by gares
- 81e069e... by gares
- 0292ce3... by gares
- cdc88a4... by gares