*.scm diff=scheme *.scm.in diff=scheme *.texi diff=texinfo ylesheet' type='text/css' href='/cgit-static/better-cgit-markdown-heading-color.css'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
AgeCommit message (Expand)Author
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
2018-10-01gnu: idris: Update to 1.3.0....Timothy Sample
2018-10-01gnu: ghc-mtl: Remove built-in Haskell package....Timothy Sample
2018-03-15gnu: idris: Provide the right versions of dependencies....Alex ter Weele
2018-03-15gnu: Add ghc-cheapskate-0.1.0.5....Alex ter Weele
2018-03-15gnu: Add ghc-trifecta-1.6.2.1....Alex ter Weele
2018-03-15gnu: Add ghc-aeson-1.1.2.0....Alex ter Weele