|
| From: | Ludovic Courtès |
| Subject: | bug#26198: [PATCH 2/2] gnu: idris: Update to 0.99.1. |
| Date: | Thu, 23 Mar 2017 12:58:34 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
Hello, Peter Mikkelsen <address@hidden> skribis: > * gnu/packages/idris.scm (idris): Update to 0.99.1. > [inputs]: Add ghc-code-page. Applied, thanks! Ludo’.
| [Prev in Thread] | Current Thread | [Next in Thread] |