blob: fd690e8b91b2eb89b1cd9c87a525cd5925955f46 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{cabal, mtl, parsec, binary}:
cabal.mkDerivation (self : {
pname = "ivor";
version = "0.1.12";
sha256 = "77f17df646afbe5199d4ab0291515013ad1bda471b2690512f752b752a2905f5";
propagatedBuildInputs = [mtl parsec binary];
meta = {
description = "Theorem proving library based on dependent type theory";
license = "BSD";
maintainers = [self.stdenv.lib.maintainers.andres];
};
})
|