mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-05-03 12:27:01 +00:00
Code Issues Wiki Activity

haskell-idris: update to version 0.9.3

Browse source
This commit is contained in:
Peter Simons 2012-09-17 16:17:55 +02:00
parent f766cd32ee
commit 8363515431
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
pkgs/development/compilers/idris/default.nix
View file

@ -1,15 +1,15 @@
{ cabal, binary, Cabal, epic, filepath, happy, haskeline, mtl { cabal, binary, Cabal, filepath, happy, haskeline, mtl, parsec
, parsec, transformers , transformers
}: }:
cabal.mkDerivation (self: { cabal.mkDerivation (self: {
pname = "idris"; pname = "idris";
version = "0.9.2.1"; version = "0.9.3";
sha256 = "16jbmyza57066s3wmkvgwn11kqn0nzkjrrvsinh9xd69a79h2iiy"; sha256 = "1g8mb5g4w6zgcfx2g7l5ksr0lsjfghznxgh684yzlg8pfzah0hqh";
isLibrary = false; isLibrary = false;
isExecutable = true; isExecutable = true;
buildDepends = [ buildDepends = [
binary Cabal epic filepath haskeline mtl parsec transformers binary Cabal filepath haskeline mtl parsec transformers
]; ];
buildTools = [ happy ]; buildTools = [ happy ];
meta = { meta = {