tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 version ? null,
6 ssreflect,
7 stdlib,
8}:
9
10mkCoqDerivation {
11 pname = "deriving";
12 owner = "arthuraa";
13
14 inherit version;
15 defaultVersion =
16 let
17 case = coq: mc: out: {
18 cases = [
19 coq
20 mc
21 ];
22 inherit out;
23 };
24 in
25 with lib.versions;
26 lib.switch
27 [ coq.coq-version ssreflect.version ]
28 [
29 (case (range "8.17" "9.1") (range "2.0.0" "2.5.0") "0.2.2")
30 (case (range "8.17" "9.0") (range "2.0.0" "2.3.0") "0.2.1")
31 (case (range "8.17" "8.20") (range "2.0.0" "2.2.0") "0.2.0")
32 (case (range "8.11" "8.20") (isLe "2.0.0") "0.1.1")
33 ]
34 null;
35
36 releaseRev = v: "v${v}";
37
38 release."0.2.2".sha256 = "sha256-qsbyQ4spg5vVLZkechb2LoBazGjMh7pR9sSS0s7tXxs=";
39 release."0.2.1".sha256 = "sha256-053bNa3rcy0fCs9CQoKPxDLXnKRHzteyClLDURpaZJo=";
40 release."0.2.0".sha256 = "sha256-xPsuEayHstjF0PGFJZJ+5cm0oMUrpoGLXN23op97vjM=";
41 release."0.1.1".sha256 = "sha256-Gu8aInLxTXfAFE0/gWRYI046Dx3Gv1j1+gx92v/UnPI=";
42 release."0.1.0".sha256 = "sha256:11crnjm8hyis1qllkks3d7r07s1rfzwvyvpijya3s6iqfh8c7xwh";
43
44 propagatedBuildInputs = [
45 ssreflect
46 stdlib
47 ];
48
49 mlPlugin = true;
50
51 meta = {
52 description = "Generic instances of MathComp classes";
53 license = lib.licenses.mit;
54 maintainers = [ lib.maintainers.vbgl ];
55 };
56
57}