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 |
|