BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

idris: drop obsolete package, it doesn't compile anywhere

Browse source
This commit is contained in:
Peter Simons 2013-04-23 15:04:02 +02:00
parent 944ae2e5ff
commit cd470bc296
2 changed files with 0 additions and 27 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1,25 +0,0 @@
{ cabal, binary, Cabal, filepath, happy, haskeline, mtl, parsec
, split, transformers
}:
cabal.mkDerivation (self: {
pname = "idris";
version = "0.9.7";
sha256 = "0y3rnxbs2s7kxlzlc347vwpylw2p0pdz50zgkyii21gd6klqvd45";
isLibrary = false;
isExecutable = true;
buildDepends = [
binary Cabal filepath haskeline mtl parsec split transformers
];
buildTools = [ happy ];
meta = {
homepage = "http://www.idris-lang.org/";
description = "Functional Programming Language with Dependent Types";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
maintainers = [
self.stdenv.lib.maintainers.andres
self.stdenv.lib.maintainers.simons
];
};
})

2
pkgs/top-level/haskell-packages.nix
View file

@ -2060,8 +2060,6 @@ let result = let callPackage = x : y : modifyPrio (newScope result.final x y);
flapjax = callPackage ../development/compilers/flapjax {};
idris = callPackage ../development/compilers/idris {};
pakcs = callPackage ../development/compilers/pakcs {};
# Development tools.