13 lines
308 B
Nix
13 lines
308 B
Nix
|
{cabal, mtl, parsec}:
|
||
|
|
|
||
|
|
cabal.mkDerivation (self : {
|
||
|
|
pname = "ivor";
|
||
|
|
version = "0.1.8";
|
||
|
|
sha256 = "e51ad07c78ea0cad6fce9253012258dbf7c740198792aa4a446e1f0269a9186d";
|
||
|
|
propagatedBuildInputs = [mtl parsec];
|
||
|
|
meta = {
|
||
|
|
description = "Theorem proving library based on dependent type theory";
|
||
|
|
};
|
||
|
|
})
|
||
|
|
|