diff options
Diffstat (limited to 'pkgs/development/coq-modules/odd-order/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/odd-order/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/odd-order/default.nix b/pkgs/development/coq-modules/odd-order/default.nix index 912d523d3bf77..2009034063369 100644 --- a/pkgs/development/coq-modules/odd-order/default.nix +++ b/pkgs/development/coq-modules/odd-order/default.nix @@ -5,11 +5,14 @@ mkCoqDerivation { pname = "odd-order"; owner = "math-comp"; + release."1.13.0".rev = "mathcomp-odd-order.1.13.0"; + 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="; inherit version; defaultVersion = with versions; switch mathcomp.character.version [ + { 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; |