Author: simons
Date: Fri Feb 3 19:06:12 2012
New Revision: 31996
URL: https://nixos.org/websvn/nix/?rev=31996&sc=1
Log:
haskell-idris: updated to version 0.9.1
Modified:
nixpkgs/trunk/pkgs/development/compilers/idris/default.nix
Modified: nixpkgs/trunk/pkgs/development/compilers/idris/default.nix
==============================================================================
--- nixpkgs/trunk/pkgs/development/compilers/idris/default.nix Fri Feb 3
17:44:00 2012 (r31995)
+++ nixpkgs/trunk/pkgs/development/compilers/idris/default.nix Fri Feb 3
19:06:12 2012 (r31996)
@@ -3,8 +3,8 @@
cabal.mkDerivation (self: {
pname = "idris";
- version = "0.9.0";
- sha256 = "03zbdcl3v90zv0ibzq9fa8z2qrrdsilh5m509mczwrcmlzbzsmrl";
+ version = "0.9.1";
+ sha256 = "1yvw15750mqrvq1kd7bsk3ldq3s0z947c4f93pv7008gq5im4cvr";
isLibrary = false;
isExecutable = true;
buildDepends = [ binary epic haskeline mtl parsec transformers ];
@@ -12,7 +12,7 @@
noHaddock = true;
meta = {
homepage = "http://www.idris-lang.org/";;
- description = "Dependently Typed Functional Programming Language";
+ description = "Functional Programming Language with Dependent Types";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
maintainers = [
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
