summary refs log tree commit diff
path: root/tests
diff options
context:
space:
mode:
authorPeter Mikkelsen <petermikkelsen10@gmail.com>2017-03-20 20:17:10 +0100
committerLudovic Courtès <ludo@gnu.org>2017-03-23 12:59:03 +0100
commitc53af0016e283ef642ac43ccc2ee5d650f06a888 (patch)
tree5ce7a1081373457e28033073ff74fbd2c10c69a5 /tests
parentdf7309fc6ed7ac15e50de22396e761ec0815c5e9 (diff)
downloadguix-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 'tests')
0 files changed, 0 insertions, 0 deletions