diff options
| author | Peter Mikkelsen <petermikkelsen10@gmail.com> | 2017-03-20 20:17:10 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-03-23 12:59:03 +0100 |
| commit | c53af0016e283ef642ac43ccc2ee5d650f06a888 (patch) | |
| tree | 5ce7a1081373457e28033073ff74fbd2c10c69a5 /build-aux | |
| parent | df7309fc6ed7ac15e50de22396e761ec0815c5e9 (diff) | |
| download | patches-c53af0016e283ef642ac43ccc2ee5d650f06a888.tar patches-c53af0016e283ef642ac43ccc2ee5d650f06a888.tar.gz | |
gnu: idris: Update to 0.99.1.
* gnu/packages/idris.scm (idris): Update to 0.99.1.
[inputs]: Add ghc-code-page.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions