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.
coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
authored by
Sebastian
Pierre Roux
and committed by
GitHub
6ed38373
e5292c55
+20
-8
+10
-4
pkgs/development/coq-modules/mathcomp-analysis/default.nix
+10
-4
pkgs/development/coq-modules/mathcomp-analysis/default.nix
···
9
9
repo = "analysis";
10
10
owner = "math-comp";
11
11
12
+
release."1.0.0".sha256 = "sha256-KiXyaWB4zQ3NuXadq4BSWfoN1cIo1xiLVSN6nW03tC4=";
13
+
release."0.7.0".sha256 = "sha256-JwkyetXrFsFHqz8KY3QBpHsrkhmEFnrCGuKztcoen60=";
14
+
release."0.6.7".sha256 = "sha256-3i2PBMEwihwgwUmnS0cmrZ8s+aLPFVq/vo0aXMUaUyA=";
12
15
release."0.6.6".sha256 = "sha256-tWtv6yeB5/vzwpKZINK9OQ0yQsvD8qu9zVSNHvLMX5Y=";
13
16
release."0.6.5".sha256 = "sha256-oJk9/Jl1SWra2aFAXRAVfX7ZUaDfajqdDksYaW8dv8E=";
14
17
release."0.6.1".sha256 = "sha256-1VyNXu11/pDMuH4DmFYSUF/qZ4Bo+/Zl3Y0JkyrH/r0=";
···
26
29
release."0.2.3".sha256 = "0p9mr8g1qma6h10qf7014dv98ln90dfkwn76ynagpww7qap8s966";
27
30
28
31
defaultVersion = with versions; lib.switch [ coq.version mathcomp.version ] [
29
-
{ cases = [ (isGe "8.17") (range "1.15.0" "1.18.0") ]; out = "0.6.6"; }
30
-
{ cases = [ (isGe "8.14") (range "1.15.0" "1.17.0") ]; out = "0.6.5"; }
31
-
{ cases = [ (isGe "8.14") (range "1.13.0" "1.16.0") ]; out = "0.6.1"; }
32
-
{ cases = [ (isGe "8.14") (range "1.13" "1.15") ]; out = "0.5.2"; }
32
+
{ cases = [ (range "8.17" "8.19") (range "2.0.0" "2.2.0") ]; out = "1.0.0"; }
33
+
{ cases = [ (range "8.17" "8.19") (range "1.17.0" "1.19.0") ]; out = "0.7.0"; }
34
+
{ cases = [ (range "8.17" "8.18") (range "1.15.0" "1.18.0") ]; out = "0.6.7"; }
35
+
{ cases = [ (range "8.17" "8.18") (range "1.15.0" "1.18.0") ]; out = "0.6.6"; }
36
+
{ cases = [ (range "8.14" "8.18") (range "1.15.0" "1.17.0") ]; out = "0.6.5"; }
37
+
{ cases = [ (range "8.14" "8.18") (range "1.13.0" "1.16.0") ]; out = "0.6.1"; }
38
+
{ cases = [ (range "8.14" "8.18") (range "1.13" "1.15") ]; out = "0.5.2"; }
33
39
{ cases = [ (range "8.13" "8.15") (range "1.13" "1.14") ]; out = "0.5.1"; }
34
40
{ cases = [ (range "8.13" "8.15") (range "1.12" "1.14") ]; out = "0.3.13"; }
35
41
{ cases = [ (range "8.11" "8.14") (range "1.12" "1.13") ]; out = "0.3.10"; }
+10
-4
pkgs/development/coq-modules/mathcomp-infotheo/default.nix
+10
-4
pkgs/development/coq-modules/mathcomp-infotheo/default.nix
···
1
-
{ coq, mkCoqDerivation, mathcomp-analysis, lib, version ? null }:
1
+
{ coq, mkCoqDerivation, mathcomp-analysis, mathcomp-algebra-tactics, lib, version ? null }:
2
2
3
-
mkCoqDerivation {
3
+
(mkCoqDerivation {
4
4
namePrefix = [ "coq" "mathcomp" ];
5
5
pname = "infotheo";
6
6
owner = "affeldt-aist";
7
7
inherit version;
8
+
8
9
defaultVersion = with lib.versions; lib.switch [ coq.version mathcomp-analysis.version] [
9
-
{ cases = [ (isGe "8.17") (isGe "0.6.0") ]; out = "0.5.2"; }
10
+
{ cases = [ (isGe "8.17") (range "0.6.6" "0.7.0") ]; out = "0.6.1"; }
11
+
{ cases = [ (range "8.17" "8.18") (range "0.6.0" "0.6.7") ]; out = "0.5.2"; }
10
12
{ cases = [ (range "8.15" "8.16") (range "0.5.4" "0.6.5") ]; out = "0.5.1"; }
11
13
] null;
14
+
release."0.6.1".sha256 = "sha256-tFB5lrwRPIlHkP+ebgcJwu03Cc9yVaOINOAo8Bf2LT4=";
12
15
release."0.5.1".sha256 = "sha256-yBBl5l+V+dggsg5KM59Yo9CULKog/xxE8vrW+ZRnX7Y=";
13
16
release."0.5.2".sha256 = "sha256-8WAnAV53c0pMTdwj8XcUDUkLZbpUgIQbEOgOb63uHQA=";
14
17
···
18
21
description = "A Coq formalization of information theory and linear error-correcting codes";
19
22
license = licenses.lgpl21Plus;
20
23
};
21
-
}
24
+
}).overrideAttrs (o: {
25
+
propagatedBuildInputs = o.propagatedBuildInputs
26
+
++ lib.optional (lib.versions.isGe "0.6.1" o.version || o.version == "dev") mathcomp-algebra-tactics;
27
+
})