2010-09-29 21:24:29 +02:00
|
|
|
{cabal, mtl, parsec, binary}:
|
2009-05-13 21:02:23 +02:00
|
|
|
|
|
|
|
|
cabal.mkDerivation (self : {
|
|
|
|
|
pname = "ivor";
|
2010-09-29 21:24:29 +02:00
|
|
|
version = "0.1.12";
|
|
|
|
|
sha256 = "77f17df646afbe5199d4ab0291515013ad1bda471b2690512f752b752a2905f5";
|
|
|
|
|
propagatedBuildInputs = [mtl parsec binary];
|
2009-05-13 21:02:23 +02:00
|
|
|
meta = {
|
|
|
|
|
description = "Theorem proving library based on dependent type theory";
|
2010-09-29 21:24:29 +02:00
|
|
|
license = "BSD";
|
|
|
|
|
maintainers = [self.stdenv.lib.maintainers.andres];
|
2009-05-13 21:02:23 +02:00
|
|
|
};
|
2010-09-29 21:24:29 +02:00
|
|
|
})
|
2009-05-13 21:02:23 +02:00
|
|
|
|
