Branches for Wily
Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:ubuntu/ |
1 Development | 2015-05-06 14:37:18 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 | 2015-06-01 12:04:54 UTC |
16.
Rebuild for new GHC ABIs.
Author:
Colin Watson
Rebuild for new GHC ABIs. |
1 → 2 of 2 results | First • Previous • Next • Last |