blob: e1e7f4a74ca6815fc4feafba8ef258dce21565f2 (
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
{
lib,
mkCoqDerivation,
coq,
mathcomp-boot,
mathcomp-fingroup,
mathcomp-algebra,
stdlib,
version ? null,
}:
mkCoqDerivation {
namePrefix = [
"coq"
"mathcomp"
];
pname = "zify";
repo = "mczify";
owner = "math-comp";
inherit version;
defaultVersion =
let
case = coq: mc: out: {
cases = [
coq
mc
];
inherit out;
};
in
with lib.versions;
lib.switch
[ coq.coq-version mathcomp-algebra.version ]
[
(case (range "8.18" "9.1") (isGe "2.3.0") "1.6.0+2.3+8.18")
(case (range "8.16" "9.1") (isGe "2.0.0") "1.5.0+2.0+8.16")
(case (range "8.13" "8.20") (range "1.12" "1.19.0") "1.3.0+1.12+8.13")
(case (range "8.13" "8.16") (range "1.12" "1.17.0") "1.1.0+1.12+8.13")
]
null;
release."1.0.0+1.12+8.13".sha256 = "1j533vx6lacr89bj1bf15l1a0s7rvrx4l00wyjv99aczkfbz6h6k";
release."1.1.0+1.12+8.13".sha256 = "1plf4v6q5j7wvmd5gsqlpiy0vwlw6hy5daq2x42gqny23w9mi2pr";
release."1.3.0+1.12+8.13".sha256 = "sha256-ebfY8HatP4te44M6o84DSLpDCkMu4IroPCy+HqzOnTE=";
release."1.5.0+2.0+8.16".sha256 = "sha256-boBYGvXdGFc6aPnjgSZYSoW4kmN5khtNrSV3DUv9DqM=";
release."1.6.0+2.3+8.18".sha256 = "sha256-rI5ZWtgO0a2sxCVChTdASxWxhgYEbM4OhC0dnSMRzZ8=";
propagatedBuildInputs = [
mathcomp-boot
mathcomp-algebra
mathcomp-fingroup
stdlib
];
meta = {
description = "Micromega tactics for Mathematical Components";
maintainers = with lib.maintainers; [ cohencyril ];
};
}
|
