blob: 7ca767170a3e6f9fe1b163caba5303f0bdb16511 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
{ cabal, binary, Cabal, epic, filepath, happy, haskeline, mtl
, parsec, transformers
}:
cabal.mkDerivation (self: {
pname = "idris";
version = "0.9.2";
sha256 = "0n4dh3vxkjvw8rb5iqm8lvi21q2ljw2pzn453wfcisdadkpv4fh5";
isLibrary = false;
isExecutable = true;
buildDepends = [
binary Cabal epic filepath haskeline mtl parsec transformers
];
buildTools = [ happy ];
noHaddock = true;
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 ];
};
})
|