diff options
| author | Enrico Tassi <Enrico.Tassi@Inria.fr> | 2022-06-30 13:40:36 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-08-31 19:00:56 +0200 |
| commit | e50697278bf4ff7a1dfc30cbb44f17832d1d1250 (patch) | |
| tree | 626a7ae013b5d084d99ead919675b36cf4707932 /pkgs/development/coq-modules/odd-order/default.nix | |
| parent | 658cde9a8bc2faa14b9ac0612dc0b1c33575f5c3 (diff) | |
mathcomp: 1.14.0 -> 1.15.0
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 0d2005326c54b..066976e8b4b73 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; |