Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:ubuntu/ |
1 Development | 2015-06-30 06:03:12 UTC |
6.
New upstream release
Author:
Joachim Breitner
New upstream release |
|
lp:ubuntu/ |
1 Development | 2015-06-29 11:23:30 UTC |
6.
New upstream release
Author:
Joachim Breitner
New upstream release |
|
lp:ubuntu/ |
2 Mature | 2014-10-27 16:16:51 UTC |
5.
New upstream release
Author:
Sven Bartscher
New upstream release |
|
lp:ubuntu/ |
2 Mature | 2014-06-24 23:18:21 UTC |
5.
New upstream release
Author:
Sven Bartscher
New upstream release |
|
lp:ubuntu/ |
1 Development | 2014-06-03 20:43:15 UTC |
5.
New upstream release
Author:
Sven Bartscher
New upstream release |
|
lp:ubuntu/ |
2 Mature | 2014-04-06 13:27:43 UTC |
4.
* Patch for compatibility with src-ex...
Author:
Raúl Benencia
* Patch for compatibility with src-exts 1.14. Closes: #730888 |
|
lp:ubuntu/ |
1 Development | 2014-03-01 17:24:19 UTC |
4.
* Patch for compatibility with src-ex...
Author:
Raúl Benencia
* Patch for compatibility with src-exts 1.14. Closes: #730888 |
|
lp:ubuntu/ |
1 Development | 2013-05-05 11:36:41 UTC |
3.
Avoid using runghc, which requires wo...
Author:
Joey Hess
Avoid using runghc, which requires working ghci. |
|
lp:ubuntu/ |
2 Mature | 2013-05-05 11:36:34 UTC |
3.
Avoid using runghc, which requires wo...
Author:
Joey Hess
Avoid using runghc, which requires working ghci. |
1 → 9 of 9 results | First • Previous • Next • Last |