Author: simons
Date: Sat Aug 13 23:38:48 2011
New Revision: 28555
URL: https://svn.nixos.org/websvn/nix/?rev=28555&sc=1
Log:
haskell-idris: updated to version 0.1.7.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 Sat Aug 13
23:38:44 2011 (r28554)
+++ nixpkgs/trunk/pkgs/development/compilers/idris/default.nix Sat Aug 13
23:38:48 2011 (r28555)
@@ -1,15 +1,22 @@
-{cabal, mtl, parsec, readline, ivor, epic, happy}:
+{ cabal, binary, epic, ivor, mtl, parsec, readline, happy }:
-cabal.mkDerivation (self : {
+cabal.mkDerivation (self: {
pname = "idris";
- name = self.fname;
- version = "0.1.5";
- sha256 = "8acdfc22ba2e68b6c1832c2d5fcf11405df9416ba2c193f564b6f98710e9813e";
- propagatedBuildInputs = [mtl parsec readline ivor epic];
- extraBuildInputs = [happy];
+ version = "0.1.7.1";
+ sha256 = "1449fy7ld2p6ksn43bvhpa5z7j8vx4wc2szwq85wzpwfaw10d8wb";
+ isLibrary = true;
+ isExecutable = true;
+ buildDepends = [ binary epic ivor mtl parsec readline ];
+ buildTools = [ happy ];
+ noHaddock = true;
meta = {
- description = "An experimental language with full dependent types";
- license = "BSD";
- maintainers = [self.stdenv.lib.maintainers.andres];
+ homepage = "http://www.cs.st-andrews.ac.uk/~eb/Idris/";;
+ description = "Dependently Typed Functional Programming Language";
+ license = self.stdenv.lib.licenses.bsd3;
+ platforms = self.ghc.meta.platforms;
+ maintainers = [
+ self.stdenv.lib.maintainers.andres
+ self.stdenv.lib.maintainers.simons
+ ];
};
})
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
