pyrox.dev
coqPackages.mathcomp-zify: 1.0.0+1.12+8.13 -> 1.1.0+1.12+8.13
authored by
Théo Zimmermann
and committed by
Vincent Laporte
3c6e3c74
4b26811c
+2
-1
pkgs/development/coq-modules/mathcomp-zify/default.nix
+2
-1
pkgs/development/coq-modules/mathcomp-zify/default.nix
···
8
8
9
9
defaultVersion = with versions;
10
10
switch [ coq.coq-version mathcomp-algebra.version ] [
11
-
{ cases = [ (isEq "8.13") (isEq "1.12") ]; out = "1.0.0+1.12+8.13"; }
11
+
{ cases = [ (range "8.13" "8.14") (isEq "1.12") ]; out = "1.1.0+1.12+8.13"; }
12
12
] null;
13
13
14
14
release."1.0.0+1.12+8.13".sha256 = "1j533vx6lacr89bj1bf15l1a0s7rvrx4l00wyjv99aczkfbz6h6k";
15
+
release."1.1.0+1.12+8.13".sha256 = "1plf4v6q5j7wvmd5gsqlpiy0vwlw6hy5daq2x42gqny23w9mi2pr";
15
16
16
17
propagatedBuildInputs = [ mathcomp-algebra ];
17
18