tjh.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
fork
Configure Feed
Select the types of activity you want to include in your feed.
1{
2 coq,
3 mkCoqDerivation,
4 mathcomp-analysis,
5 mathcomp-analysis-stdlib,
6 mathcomp-algebra-tactics,
7 interval,
8 lib,
9 version ? null,
10}:
11
12(mkCoqDerivation {
13 namePrefix = [
14 "coq"
15 "mathcomp"
16 ];
17 pname = "infotheo";
18 owner = "affeldt-aist";
19 inherit version;
20
21 defaultVersion =
22 with lib.versions;
23 lib.switch
24 [ coq.version mathcomp-analysis.version ]
25 [
26 {
27 cases = [
28 (range "8.20" "8.20")
29 (isGe "1.10")
30 ];
31 out = "0.9.3";
32 }
33 {
34 cases = [
35 (range "8.19" "8.20")
36 (isGe "1.9")
37 ];
38 out = "0.9.1";
39 }
40 {
41 cases = [
42 (range "8.19" "8.20")
43 (isGe "1.7")
44 ];
45 out = "0.7.7";
46 }
47 {
48 cases = [
49 (range "8.19" "8.20")
50 (isGe "1.7")
51 ];
52 out = "0.7.5";
53 }
54 {
55 cases = [
56 (range "8.18" "8.20")
57 (isGe "1.5")
58 ];
59 out = "0.7.3";
60 }
61 {
62 cases = [
63 (range "8.18" "8.19")
64 (isGe "1.2")
65 ];
66 out = "0.7.2";
67 }
68 {
69 cases = [
70 (range "8.17" "8.19")
71 (isGe "1.0")
72 ];
73 out = "0.7.1";
74 }
75 {
76 cases = [
77 (isGe "8.17")
78 (range "0.6.6" "0.7.0")
79 ];
80 out = "0.6.1";
81 }
82 {
83 cases = [
84 (range "8.17" "8.18")
85 (range "0.6.0" "0.6.7")
86 ];
87 out = "0.5.2";
88 }
89 {
90 cases = [
91 (range "8.15" "8.16")
92 (range "0.5.4" "0.6.5")
93 ];
94 out = "0.5.1";
95 }
96 ]
97 null;
98 release."0.9.3".sha256 = "sha256-8+cnVKNAvZ3MVV3BpS8UmCIxJphsQRBv3swek1eEBjE=";
99 release."0.9.1".sha256 = "sha256-WI20HxMHr1ZUwOGPIUl+nRI8TxVUa2+F1xcGjRDHO9g=";
100 release."0.7.7".sha256 = "sha256-kEbpMl7U+I2kvqi1VrjhIVFkZFO6h0tTHEUZRbHYG7E=";
101 release."0.7.5".sha256 = "sha256-pzPo+Acjx3vlyqOkSZQ8uT2BDLSTfbAnRm39e+/CqE0=";
102 release."0.7.3".sha256 = "sha256-7+qPtE1KfDmo9ZsQtWMzoR2MYnFpTjFHK/yZYVm+GxA=";
103 release."0.7.2".sha256 = "sha256-dekrdVmuTcqXXmKhIb831EKtMhbPrXHJZhzmGb9rdRo=";
104 release."0.7.1".sha256 = "sha256-/4Elb35SmscG6EjEcHYDo+AmWrpBUlygZL0WhaD+fcY=";
105 release."0.6.1".sha256 = "sha256-tFB5lrwRPIlHkP+ebgcJwu03Cc9yVaOINOAo8Bf2LT4=";
106 release."0.5.1".sha256 = "sha256-yBBl5l+V+dggsg5KM59Yo9CULKog/xxE8vrW+ZRnX7Y=";
107 release."0.5.2".sha256 = "sha256-8WAnAV53c0pMTdwj8XcUDUkLZbpUgIQbEOgOb63uHQA=";
108
109 propagatedBuildInputs = [ mathcomp-analysis-stdlib ];
110
111 meta = with lib; {
112 description = "Coq formalization of information theory and linear error-correcting codes";
113 license = licenses.lgpl21Plus;
114 };
115}).overrideAttrs
116 (o: {
117 propagatedBuildInputs =
118 o.propagatedBuildInputs
119 ++ lib.optional (lib.versions.isGe "0.6.1" o.version || o.version == "dev") mathcomp-algebra-tactics
120 ++ lib.optional (lib.versions.isGe "0.7.2" o.version || o.version == "dev") interval;
121 })