diff options
Diffstat (limited to 'pkgs/development/coq-modules/odd-order/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/odd-order/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/odd-order/default.nix b/pkgs/development/coq-modules/odd-order/default.nix index 0d2005326c5..066976e8b4b 100644 --- a/pkgs/development/coq-modules/odd-order/default.nix +++ b/pkgs/development/coq-modules/odd-order/default.nix @@ -5,13 +5,14 @@ mkCoqDerivation { pname = "odd-order"; owner = "math-comp"; - release."1.13.0".rev = "mathcomp-odd-order.1.13.0"; + release."1.14.0".sha256 = "0iln70npkvixqyz469l6nry545a15jlaix532i1l7pzfkqqn6v68"; release."1.13.0".sha256 = "sha256-EzNKR/JzM8T17sMhPhgZNs14e50X4dY3OwFi133IsT0="; - release."1.12.0".rev = "mathcomp-odd-order.1.12.0"; release."1.12.0".sha256 = "sha256-omsfdc294CxKAHNMMeqJCcVimvyRCHgxcQ4NJOWSfNM="; + releaseRev = v: "mathcomp-odd-order.${v}"; inherit version; defaultVersion = with versions; switch mathcomp.character.version [ + { case = (range "1.13.0" "1.15.0"); out = "1.14.0"; } { case = (range "1.12.0" "1.14.0"); out = "1.13.0"; } { case = (range "1.10.0" "1.12.0"); out = "1.12.0"; } ] null; |