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

Updated Haskell packages.

Browse Source 
- RSA: updated to version 1.0.6.3
 - derive: updated to version 2.5.7
 - hakyll: updated to version 3.2.7.0
 - happstack-hamlet: updated to version 7.0.0
 - idris: updated to version 0.9.2.1

svn path=/nixpkgs/trunk/; revision=33479
This commit is contained in:
Peter Simons
2012-03-29 20:52:37 +00:00
parent f943cf8d81
commit a39f417ad7
5 changed files with 10 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -4,15 +4,14 @@
cabal.mkDerivation (self: {
pname = "idris";
version = "0.9.2";
sha256 = "0n4dh3vxkjvw8rb5iqm8lvi21q2ljw2pzn453wfcisdadkpv4fh5";
version = "0.9.2.1";
sha256 = "16jbmyza57066s3wmkvgwn11kqn0nzkjrrvsinh9xd69a79h2iiy";
isLibrary = false;
isExecutable = true;
buildDepends = [
binary Cabal epic filepath haskeline mtl parsec transformers
];
buildTools = [ happy ];
noHaddock = true;
meta = {
homepage = "http://www.idris-lang.org/";
description = "Functional Programming Language with Dependent Types";