aboutsummaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions
uix/commit/gnu/packages/idris.scm?id=a1eb8be8ca1a0a4c952f264f8846b67a32db0ec8'>gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml....Robert Vollmert 2019-04-11gnu: idris: Run tests....Eric Bavier 2019-04-11gnu: idris: Enable FFI and GMP support....Eric Bavier 2019-04-11gnu: idris: Upgrade to 1.3.1....Eric Bavier