blob: 99c59df3b71082088c13896b1b09e533a960c946 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{cabal, mtl, happy, gmp, boehmgc}:
cabal.mkDerivation (self : {
pname = "epic";
version = "0.1.5";
sha256 = "5a3d94e88cb85beb3c13f3b9f3c00c6768e1b067ff88d40ea63d9961a92347ff";
propagatedBuildInputs = [mtl];
extraBuildInputs = [happy gmp boehmgc];
meta = {
description = "An experimental language with full dependent types";
license = "BSD";
maintainers = [self.stdenv.lib.maintainers.andres];
};
})
|