diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-07-17 07:48:54 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-07-25 03:45:12 +0200 |
| commit | 055d78335d86af40cf1a3553eb11b9678cb5ddc6 (patch) | |
| tree | 12b30edff98717055450513c16f8d519b22f5db8 /pkgs/development/coq-modules | |
| parent | dc70d2f61a836221631777fad9d5269e64ccb0a3 (diff) | |
| download | nixlib-055d78335d86af40cf1a3553eb11b9678cb5ddc6.tar nixlib-055d78335d86af40cf1a3553eb11b9678cb5ddc6.tar.gz nixlib-055d78335d86af40cf1a3553eb11b9678cb5ddc6.tar.bz2 nixlib-055d78335d86af40cf1a3553eb11b9678cb5ddc6.tar.lz nixlib-055d78335d86af40cf1a3553eb11b9678cb5ddc6.tar.xz nixlib-055d78335d86af40cf1a3553eb11b9678cb5ddc6.tar.zst nixlib-055d78335d86af40cf1a3553eb11b9678cb5ddc6.zip | |
coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/bignums/default.nix | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/pkgs/development/coq-modules/bignums/default.nix b/pkgs/development/coq-modules/bignums/default.nix index c62e20a5a2e7..c459ef2ea5c7 100644 --- a/pkgs/development/coq-modules/bignums/default.nix +++ b/pkgs/development/coq-modules/bignums/default.nix @@ -3,11 +3,17 @@ mkCoqDerivation { pname = "bignums"; owner = "coq"; - displayVersion = { bignums = ""; }; inherit version; - defaultVersion = if lib.versions.isGe "8.6" coq.coq-version - then "${coq.coq-version}.0" else null; + defaultVersion = with lib.versions; lib.switch coq.coq-version [ + { case = range "8.13" "8.17"; out = "9.0.0+coq${coq.coq-version}"; } + { case = range "8.6" "8.17"; out = "${coq.coq-version}.0"; } + ] null; + release."9.0.0+coq8.17".sha256 = "sha256-Mn85LqxJKPDIfpxRef9Uh5POwOKlTQ7jsMVz1wnQwuY="; + release."9.0.0+coq8.16".sha256 = "sha256-pwFTl4Unr2ZIirAB3HTtfhL2YN7G/Pg88RX9AhKWXbE="; + release."9.0.0+coq8.15".sha256 = "sha256-2oGOANn3XULHNIlyqjZ5ppQTQa2QF1zzf3YjHAd/pjo="; + release."9.0.0+coq8.14".sha256 = "sha256-qTU152Dz34W6nFZ0pPbja9ouUm/714ZrLQ/Z4N/HIC4="; + release."9.0.0+coq8.13".sha256 = "sha256-zvAqV3VAB7cN+nlMhjSXzxuDkdd387ju2VSb2EUthI0="; release."8.17.0".sha256 = "sha256-MXYjqN86+3O4hT2ql62U83T5H03E/8ysH8erpvC/oyw="; release."8.16.0".sha256 = "sha256-DH3iWwatPlhhCVYVlgL2WLkvneSVzSXUiKo2e0+1zR4="; release."8.15.0".sha256 = "093klwlhclgyrba1iv18dyz1qp5f0lwiaa7y0qwvgmai8rll5fns"; @@ -21,7 +27,7 @@ mkCoqDerivation { release."8.7.0".sha256 = "11c4sdmpd3l6jjl4v6k213z9fhrmmm1xnly3zmzam1wrrdif4ghl"; release."8.6.0".rev = "v8.6.0"; release."8.6.0".sha256 = "0553pcsy21cyhmns6k9qggzb67az8kl31d0lwlnz08bsqswigzrj"; - releaseRev = v: "V${v}"; + releaseRev = v: "${if lib.versions.isGe "9.0" v then "v" else "V"}${v}"; mlPlugin = true; |