pyrox.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
lol
fork
Configure Feed
Select the types of activity you want to include in your feed.
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.4.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 = with lib; {
52 description = "Generic instances of MathComp classes";
53 license = licenses.mit;
54 maintainers = [ maintainers.vbgl ];
55 };
56
57}