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

haskell-idris: revert update to version 0.9.9

Browse Source 
This reverts commit 61c880d5582c9bfd91a4ddb9c27973e31aed8c12. The new
Idris version depends on a version of LLVM that we don't have in master
yet: it's only in x-updates.
This commit is contained in:
Peter Simons 2013-08-03 12:10:39 +02:00
parent cc691d95f5
commit 0c331a4a42
1 changed files with 7 additions and 8 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,20 +1,19 @@
{ cabal, binary, boehmgc, Cabal, filepath, gmp, happy, haskeline
, languageJava, libffi, llvmGeneral, mtl, parsec, split, text
, transformers, vector, vectorBinaryInstances
{ cabal, binary, Cabal, filepath, gmp, happy, haskeline
, languageJava, libffi, mtl, parsec, split, text, transformers
}:
cabal.mkDerivation (self: {
pname = "idris";
version = "0.9.9";
sha256 = "0wwssgpiyn7akyfrpi1khvqxx1k8753kk7151zvvymz0zkks643m";
version = "0.9.8";
sha256 = "1mxc6mic3d508ni9pqxw8q31f27shyaxs1rchfl2jg58i9w6iy7h";
isLibrary = false;
isExecutable = true;
buildDepends = [
binary Cabal filepath haskeline languageJava libffi llvmGeneral mtl
parsec split text transformers vector vectorBinaryInstances
binary Cabal filepath haskeline languageJava libffi mtl parsec
split text transformers
];
buildTools = [ happy ];
extraLibraries = [ boehmgc gmp ];
extraLibraries = [ gmp ];
meta = {
homepage = "http://www.idris-lang.org/";
description = "Functional Programming Language with Dependent Types";