2017-08-13 | Peter Mikkelsen | gnu: Add mpd service. |
commit | commitdiff | tree |
2017-07-31 | Peter Mikkelsen | gnu: erlang: Update to 20.0. |
commit | commitdiff | tree |
2017-07-29 | Peter Mikkelsen | gnu: erlang: Fix man-pages search path of 'erl -man'. |
commit | commitdiff | tree |
2017-04-15 | Peter Mikkelsen | gnu: idris: Fix idris-default-arguments. |
commit | commitdiff | tree |
2017-04-15 | Peter Mikkelsen | gnu: idris: Update to 1.0. |
commit | commitdiff | tree |
2017-03-23 | Peter Mikkelsen | gnu: idris: Update to 0.99.1. |
commit | commitdiff | tree |
2017-03-23 | Peter Mikkelsen | gnu: Add ghc-code-page. |
commit | commitdiff | tree |