Branches for Utopic
Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:ubuntu/ |
2 Mature | 2014-08-10 09:52:28 UTC |
13.
Re-add a dedicated binary package. Ag...
Author:
Joachim Breitner
Re-add a dedicated binary package. Agda needs a newer binary than the |
|
lp:ubuntu/ |
1 Development | 2014-07-26 14:12:53 UTC |
18.
Re-add a dedicated binary package. Ag...
Author:
Joachim Breitner
Re-add a dedicated binary package. Agda needs a newer binary than the |
1 → 2 of 2 results | First • Previous • Next • Last |