pyrox.dev / nixpkgs
lol
fork atom

coqPackages.mathcomp-zify: enable for Coq 8.16

Vincent Laporte 4bdd2be5 3359e6ba

+1 -1
unified split
+1 -1
pkgs/development/coq-modules/mathcomp-zify/default.nix
··· 9 10 defaultVersion = with versions; 11 switch [ coq.coq-version mathcomp-algebra.version ] [ 12 - { cases = [ (range "8.13" "8.15") (isGe "1.12") ]; out = "1.1.0+1.12+8.13"; } 13 ] null; 14 15 release."1.0.0+1.12+8.13".sha256 = "1j533vx6lacr89bj1bf15l1a0s7rvrx4l00wyjv99aczkfbz6h6k";
··· 9 10 defaultVersion = with versions; 11 switch [ coq.coq-version mathcomp-algebra.version ] [ 12 + { cases = [ (range "8.13" "8.16") (isGe "1.12") ]; out = "1.1.0+1.12+8.13"; } 13 ] null; 14 15 release."1.0.0+1.12+8.13".sha256 = "1j533vx6lacr89bj1bf15l1a0s7rvrx4l00wyjv99aczkfbz6h6k";