tjh.dev
1{
2 coq,
3 mkCoqDerivation,
4 mathcomp-boot,
5 lib,
6 version ? null,
7}:
8
9mkCoqDerivation {
10
11 namePrefix = [
12 "coq"
13 "mathcomp"
14 ];
15 pname = "finmap";
16 owner = "math-comp";
17 inherit version;
18 defaultVersion =
19 with lib.versions;
20 lib.switch
21 [ coq.version mathcomp-boot.version ]
22 [
23 {
24 cases = [
25 (range "8.20" "9.0")
26 (range "2.3" "2.4")
27 ];
28 out = "2.2.0";
29 }
30 {
31 cases = [
32 (range "8.16" "9.0")
33 (range "2.0" "2.3")
34 ];
35 out = "2.1.0";
36 }
37 {
38 cases = [
39 (range "8.16" "8.18")
40 (range "2.0" "2.1")
41 ];
42 out = "2.0.0";
43 }
44 {
45 cases = [
46 (range "8.13" "8.20")
47 (range "1.12" "1.19")
48 ];
49 out = "1.5.2";
50 }
51 {
52 cases = [
53 (isGe "8.10")
54 (range "1.11" "1.17")
55 ];
56 out = "1.5.1";
57 }
58 {
59 cases = [
60 (range "8.7" "8.11")
61 "1.11.0"
62 ];
63 out = "1.5.0";
64 }
65 {
66 cases = [
67 (isEq "8.11")
68 (range "1.8" "1.10")
69 ];
70 out = "1.4.0+coq-8.11";
71 }
72 {
73 cases = [
74 (range "8.7" "8.11.0")
75 (range "1.8" "1.10")
76 ];
77 out = "1.4.0";
78 }
79 {
80 cases = [
81 (range "8.7" "8.11.0")
82 (range "1.8" "1.10")
83 ];
84 out = "1.3.4";
85 }
86 {
87 cases = [
88 (range "8.7" "8.9")
89 "1.7.0"
90 ];
91 out = "1.1.0";
92 }
93 {
94 cases = [
95 (range "8.6" "8.7")
96 (range "1.6.1" "1.7")
97 ];
98 out = "1.0.0";
99 }
100 ]
101 null;
102 release = {
103 "2.2.0".sha256 = "sha256-oDQEZOutrJxmN8FvzovUIhqw0mwc8Ej7thrieJrW8BY=";
104 "2.1.0".sha256 = "sha256-gh0cnhdVDyo+D5zdtxLc10kGKQLQ3ITzHnMC45mCtpY=";
105 "2.0.0".sha256 = "sha256-0Wr1ZUYVuZH74vawO4EZlZ+K3kq+s1xEz/BfzyKj+wk=";
106 "1.5.2".sha256 = "sha256-0KmmSjc2AlUo6BKr9RZ4FjL9wlGISlTGU0X1Eu7l4sw=";
107 "1.5.1".sha256 = "0ryfml4pf1dfya16d8ma80favasmrygvspvb923n06kfw9v986j7";
108 "1.5.0".sha256 = "0vx9n1fi23592b3hv5p5ycy7mxc8qh1y5q05aksfwbzkk5zjkwnq";
109 "1.4.1".sha256 = "0kx4nx24dml1igk0w0qijmw221r5bgxhwhl5qicnxp7ab3c35s8p";
110 "1.4.0+coq-8.11".sha256 = "1fd00ihyx0kzq5fblh9vr8s5mr1kg7p6pk11c4gr8svl1n69ppmb";
111 "1.4.0".sha256 = "0mp82mcmrs424ff1vj3cvd8353r9vcap027h3p0iprr1vkkwjbzd";
112 "1.3.4".sha256 = "0f5a62ljhixy5d7gsnwd66gf054l26k3m79fb8nz40i2mgp6l9ii";
113 "1.2.1".sha256 = "0jryb5dq8js3imbmwrxignlk5zh8gwfb1wr4b1s7jbwz410vp7zf";
114 "1.1.0".sha256 = "05df59v3na8jhpsfp7hq3niam6asgcaipg2wngnzxzqnl86srp2a";
115 "1.0.0".sha256 = "0sah7k9qm8sw17cgd02f0x84hki8vj8kdz7h15i7rmz08rj0whpa";
116 };
117
118 propagatedBuildInputs = [ mathcomp-boot ];
119
120 meta = {
121 description = "Finset and finmap library";
122 license = lib.licenses.cecill-b;
123 };
124}