nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-18 19:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

haskell-idris: updated to version 0.9.1

Browse Source 
svn path=/nixpkgs/trunk/; revision=31996
This commit is contained in:
Peter Simons 2012-02-03 19:06:12 +00:00
parent cf2591c5ec
commit ade99756f9
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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 @@ cabal.mkDerivation (self: {
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 = [