index
:
gds/gnu-guix
guix-for-govuk-mini-environment-admin
release
release_2
spike-end-to-end-test-system
spike-local-development-system-container
wip-postgresql-ssl
This repository contains snapshots of GNU Guix, to be used by the govuk-guix project.
Gitolite user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
idris.scm
Commit message (
Expand
)
Author
Age
*
gnu: idris: Run tests.
Eric Bavier
2019-04-11
*
gnu: idris: Enable FFI and GMP support.
Eric Bavier
2019-04-11
*
gnu: idris: Upgrade to 1.3.1.
Eric Bavier
2019-04-11
*
gnu: idris: Update to 1.3.0.
Timothy Sample
2018-10-01
*
gnu: ghc-mtl: Remove built-in Haskell package.
Timothy Sample
2018-10-01
*
gnu: idris: Provide the right versions of dependencies.
Alex ter Weele
2018-03-15
*
gnu: Add ghc-cheapskate-0.1.0.5.
Alex ter Weele
2018-03-15
*
gnu: Add ghc-trifecta-1.6.2.1.
Alex ter Weele
2018-03-15
*
gnu: Add ghc-aeson-1.1.2.0.
Alex ter Weele
2018-03-15
*
gnu: Move web packages from haskell to haskell-web.
Ricardo Wurmus
2017-11-13
*
gnu: Move testing packages from haskell to haskell-check.
Ricardo Wurmus
2017-11-13
*
gnu: idris: Fix idris-default-arguments.
Peter Mikkelsen
2017-04-15
*
gnu: idris: Update to 1.0.
Peter Mikkelsen
2017-04-15
*
gnu: idris: Update to 0.99.1.
Peter Mikkelsen
2017-03-23
*
gnu: Add idris-lens.
David Craven
2017-01-04
*
gnu: Add idris-bifunctors.
David Craven
2017-01-04
*
gnu: Add idris-wl-pprint.
David Craven
2017-01-04
*
gnu: Add idris-lightyear.
David Craven
2017-01-04
*
gnu: idris: Move to (gnu packages idris).
David Craven
2017-01-04