blob: 721777bcb7c1cfde0828d0c850da3f0d70e26e66 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
{
lib,
mkCoqDerivation,
coq,
ceres,
ExtLib,
version ? null,
}:
mkCoqDerivation {
pname = "parsec";
repo = "coq-parsec";
owner = "liyishuai";
propagatedBuildInputs = [
ceres
ExtLib
];
releaseRev = (v: "v${v}");
inherit version;
defaultVersion =
let
case = case: out: { inherit case out; };
in
with lib.versions;
lib.switch coq.version [
(case (range "8.14" "9.1") "0.2.0")
(case (range "8.14" "8.20") "0.1.2")
(case (range "8.12" "8.16") "0.1.1")
(case (range "8.12" "8.13") "0.1.0")
] null;
release."0.2.0".sha256 = "sha256-hM6LVFQ2VQ42QeHu8Ex+oz1VvJUr+g8/nZN+bYHEljQ=";
release."0.1.2".sha256 = "sha256-QN0h1CsX86DQBDsluXLtNUvMh3r60/0iDSbYam67AhA=";
release."0.1.1".sha256 = "sha256:1c0l18s68pzd4c8i3jimh2yz0pqm4g38pca4bm7fr18r8xmqf189";
release."0.1.0".sha256 = "sha256:01avfcqirz2b9wjzi9iywbhz9szybpnnj3672dgkfsimyg9jgnsr";
useDuneifVersion = v: lib.versions.isGe "0.2.0" v || v == "dev";
meta = {
description = "Library for serialization to S-expressions";
license = lib.licenses.bsd3;
maintainers = with lib.maintainers; [ Zimmi48 ];
};
}
|
