tjh.dev
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 QuickChick,
6 async-test,
7 version ? null,
8}:
9
10mkCoqDerivation {
11 pname = "http";
12 owner = "liyishuai";
13 repo = "coq-http";
14 inherit version;
15
16 defaultVersion =
17 let
18 case = case: out: { inherit case out; };
19 inherit (lib.versions) range;
20 in
21 lib.switch coq.coq-version [
22 (case (range "8.14" "8.19") "0.2.1")
23 ] null;
24 release = {
25 "0.2.1".sha256 = "sha256-CIcaXEojNdajXNoMBjGlQRc1sOJSKgUlditNxbNSPgk=";
26 };
27 releaseRev = v: "v${v}";
28
29 propagatedBuildInputs = [
30 QuickChick
31 async-test
32 ];
33
34 configurePhase = ''
35 sed -e 's/^ install extract.*//' -i Makefile
36 '';
37
38 meta = {
39 description = "HTTP specification in Coq, testable and verifiable";
40 license = lib.licenses.mpl20;
41 };
42}