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 /doc/guix.texi | |
parent | df7309fc6ed7ac15e50de22396e761ec0815c5e9 (diff) | |
download | guix-patches-c53af0016e283ef642ac43ccc2ee5d650f06a888.tar guix-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 'doc/guix.texi')
0 files changed, 0 insertions, 0 deletions