pyrox.dev
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 ssreflect,
6 version ? null,
7}:
8
9mkCoqDerivation {
10
11 pname = "coq-haskell";
12 owner = "jwiegley";
13 inherit version;
14 defaultVersion = if lib.versions.range "8.5" "8.8" coq.coq-version then "20171215" else null;
15 release."20171215".rev = "e2cf8b270c2efa3b56fab1ef6acc376c2c3de968";
16 release."20171215".sha256 = "09dq1vvshhlhgjccrhqgbhnq2hrys15xryfszqq11rzpgvl2zgdv";
17
18 mlPlugin = true;
19 extraInstallFlags = [ "-f Makefile.coq" ];
20 propagatedBuildInputs = [
21 coq
22 ssreflect
23 ];
24 enableParallelBuilding = false;
25
26 meta = {
27 description = "Library for formalizing Haskell types and functions in Coq";
28 maintainers = with lib.maintainers; [ jwiegley ];
29 };
30}