pyrox.dev
lol
coqPackages.coquelicot: 3.4.0 -> 3.4.1
authored by
Pierre Roux
and committed by
Vincent Laporte
9a393840
5cc532b3
+2
+2
pkgs/development/coq-modules/coquelicot/default.nix
+2
pkgs/development/coq-modules/coquelicot/default.nix
···
7
7
domain = "gitlab.inria.fr";
8
8
inherit version;
9
9
defaultVersion = with lib.versions; lib.switch coq.coq-version [
10
+
{ case = range "8.12" "8.19"; out = "3.4.1"; }
10
11
{ case = range "8.12" "8.18"; out = "3.4.0"; }
11
12
{ case = range "8.12" "8.17"; out = "3.3.0"; }
12
13
{ case = range "8.8" "8.16"; out = "3.2.0"; }
13
14
{ case = range "8.8" "8.13"; out = "3.1.0"; }
14
15
{ case = range "8.5" "8.9"; out = "3.0.2"; }
15
16
] null;
17
+
release."3.4.1".sha256 = "sha256-REhvIBl3EaL8CQqI34Gn7Xjf9NhPI3nrUAO26pSLbm0=";
16
18
release."3.4.0".sha256 = "sha256-LIj2SwTvVBxSAO58VYCQix/uxQQe8ey6hqFOSh3PNcg=";
17
19
release."3.3.1".sha256 = "sha256-YCvd4aIt2BxLKBYSWzN7aqo0AuY7z8oADmKvybhYBQI=";
18
20
release."3.3.0".sha256 = "sha256-bh9qP/EhWrHpTe2GMGG3S2vgBSSK088mFfhAIGejVoU=";