3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

12 commits

Author SHA1 Message Date
Peter Simons 0de6725105 haskell-idris: update to version 0.9.3.1 2012-09-21 16:36:24 +02:00
Peter Simons 8363515431 haskell-idris: update to version 0.9.3 2012-09-17 16:17:55 +02:00
Peter Simons a39f417ad7 Updated Haskell packages.
- RSA: updated to version 1.0.6.3
 - derive: updated to version 2.5.7
 - hakyll: updated to version 3.2.7.0
 - happstack-hamlet: updated to version 7.0.0
 - idris: updated to version 0.9.2.1

svn path=/nixpkgs/trunk/; revision=33479
2012-03-29 20:52:37 +00:00
Peter Simons 880dcc2c64 Removed myself as a maintainer from Haskell packages that I don't personally use.
By now, it happened twice that a commit broke GHC and thus all Haskell packages
we have in Nixpkgs. On such an occasion, I receive well in excess of 3000
notification e-mails from Hydra, and then I receive another 3000 e-mails after
the bug has been fixed. Under these circumstances, subscribing to these
notifications makes no sense for me.

svn path=/nixpkgs/trunk/; revision=33392
2012-03-24 10:21:28 +00:00
Peter Simons 409e44cbe1 haskell-idris: updated to version 0.9.2
svn path=/nixpkgs/trunk/; revision=32671
2012-02-28 10:03:45 +00:00
Peter Simons ac69747aa8 Regenerated all Haskell packages with the latest version of cabal2nix.
svn path=/nixpkgs/trunk/; revision=32292
2012-02-14 17:00:37 +00:00
Peter Simons ade99756f9 haskell-idris: updated to version 0.9.1
svn path=/nixpkgs/trunk/; revision=31996
2012-02-03 19:06:12 +00:00
Peter Simons 09dee8994f haskell-idris: updated to version 0.9.0
svn path=/nixpkgs/trunk/; revision=31622
2012-01-18 15:04:09 +00:00
Peter Simons c8ae7cc8bb Updated build expressions for the current version of cabal.nix.
svn path=/nixpkgs/trunk/; revision=28772
2011-08-23 10:35:49 +00:00
Peter Simons d86fb89aa6 haskell-idris: updated to version 0.1.7.1
svn path=/nixpkgs/trunk/; revision=28555
2011-08-13 23:38:48 +00:00
Andres Löh 9d5f981913 Updated the Idris compiler.
svn path=/nixpkgs/trunk/; revision=23991
2010-09-29 19:24:29 +00:00
Andres Löh 677f91a6d1 Added Idris and updated fetchdarcs.
svn path=/nixpkgs/trunk/; revision=15595
2009-05-13 19:02:23 +00:00