ubuntu/+source/agda:applied/ubuntu/eoan
Last commit made on
2019-09-03
- Get this branch:
-
git clone
-b applied/ubuntu/eoan
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/eoan
- Repository:
- lp:ubuntu/+source/agda
Recent commits
- 067a692... by Steve Langasek
- ff091e2... by Steve Langasek
- 24002ff... by Steve Langasek
- 8e351e7... by Gianfranco Costamagna
- 4d3b0e4... by Gianfranco Costamagna
- b15289d... by Gianfranco Costamagna
- f562f98... by Clint Adams
- 08c305f... by Clint Adams
- 9e3b611... by Clint Adams
- ec46bfb... by Ilias Tsitsimpis <email address hidden>