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