ubuntu/+source/agda:applied/ubuntu/utopic-devel
Last commit made on
2014-08-11
- Get this branch:
-
git clone
-b applied/ubuntu/utopic-devel
https://git.launchpad.net/ubuntu/+source/agda
Members of
git-ubuntu import
can upload to this branch.
Log in for directions.
Branch merges
Branch information
- Name:
- applied/ubuntu/utopic-devel
- Repository:
- lp:ubuntu/+source/agda
Recent commits
- e6a11f7... by Colin Watson
- 80326db... by Colin Watson
- 3e7c6a8... by Iain Lane
- ce3e74e... by Iain Lane
- bc8d046... by Iain Lane
- 4b8a0db... by Iain Lane
- d9d959a... by Iain Lane
- 3bbb4f8... by Iain Lane
- cb0a79a... by Iain Lane
- 92b828d... by Iain Lane