public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

haskell-idris: updated to version 0.1.7.1 

svn path=/nixpkgs/trunk/; revision=28555
This commit is contained in:
Peter Simons 2011-08-13 23:38:48 +00:00
parent 78b6188054
commit d86fb89aa6
1 changed files with 17 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
pkgs/development/compilers/idris/default.nix
View File

@ -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"; pname = "idris";
name = self.fname; version = "0.1.7.1";
version = "0.1.5"; sha256 = "1449fy7ld2p6ksn43bvhpa5z7j8vx4wc2szwq85wzpwfaw10d8wb";
sha256 = "8acdfc22ba2e68b6c1832c2d5fcf11405df9416ba2c193f564b6f98710e9813e"; isLibrary = true;
propagatedBuildInputs = [mtl parsec readline ivor epic]; isExecutable = true;
extraBuildInputs = [happy]; buildDepends = [ binary epic ivor mtl parsec readline ];
buildTools = [ happy ];
noHaddock = true;
meta = { meta = {
description = "An experimental language with full dependent types"; homepage = "http://www.cs.st-andrews.ac.uk/~eb/Idris/";
license = "BSD"; description = "Dependently Typed Functional Programming Language";
maintainers = [self.stdenv.lib.maintainers.andres]; license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
maintainers = [
self.stdenv.lib.maintainers.andres
self.stdenv.lib.maintainers.simons
];
}; };
}) })