mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-28 08:31:59 +00:00
Code Issues Wiki Activity

haskell-idris: update to version 0.9.9

Browse source
This commit is contained in:
Peter Simons 2013-08-02 16:19:49 +02:00
parent 41126666a6
commit 61c880d558
1 changed files with 8 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1,19 +1,20 @@
{ cabal, binary, Cabal, filepath, gmp, happy, haskeline { cabal, binary, boehmgc, Cabal, filepath, gmp, happy, haskeline
, languageJava, libffi, mtl, parsec, split, text, transformers , languageJava, libffi, llvmGeneral, mtl, parsec, split, text
, transformers, vector, vectorBinaryInstances
}: }:
cabal.mkDerivation (self: { cabal.mkDerivation (self: {
pname = "idris"; pname = "idris";
version = "0.9.8"; version = "0.9.9";
sha256 = "1mxc6mic3d508ni9pqxw8q31f27shyaxs1rchfl2jg58i9w6iy7h"; sha256 = "0wwssgpiyn7akyfrpi1khvqxx1k8753kk7151zvvymz0zkks643m";
isLibrary = false; isLibrary = false;
isExecutable = true; isExecutable = true;
buildDepends = [ buildDepends = [
binary Cabal filepath haskeline languageJava libffi mtl parsec binary Cabal filepath haskeline languageJava libffi llvmGeneral mtl
split text transformers parsec split text transformers vector vectorBinaryInstances
]; ];
buildTools = [ happy ]; buildTools = [ happy ];
extraLibraries = [ gmp ]; extraLibraries = [ boehmgc gmp ];
meta = { meta = {
homepage = "http://www.idris-lang.org/"; homepage = "http://www.idris-lang.org/";
description = "Functional Programming Language with Dependent Types"; description = "Functional Programming Language with Dependent Types";