/po/

• ../
• doc
• guix
• packages

	index : guix	koszko koszko-scripts
	Wojtek's customized Guix

aboutsummaryrefslogtreecommitdiff

log msg author committer range

path: root/gnu/packages/idris.scm

Age	Commit message (Expand)	Author
2018-10-01	gnu: idris: Update to 1.3.0....	Timothy Sample
2018-10-01	gnu: ghc-mtl: Remove built-in Haskell package....	Timothy Sample
2018-03-15	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
2017-11-13	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-04-15	gnu: idris: Fix idris-default-arguments....	Peter Mikkelsen
2017-04-15	gnu: idris: Update to 1.0....	Peter Mikkelsen
2017-03-23	gnu: idris: Update to 0.99.1....	Peter Mikkelsen
2017-01-04	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