mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-17 19:21:04 +00:00
Code Issues Wiki Activity

coqPackages.serapi: remove with statements

Browse source
This commit is contained in:
Philip Taron 2024-08-16 13:52:40 -07:00
parent 4b1852399b
commit 1dbcead1d7
No known key found for this signature in database
1 changed files with 12 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
pkgs/development/coq-modules/serapi/default.nix
View file

@ -15,23 +15,22 @@ let
};
in
(with lib; mkCoqDerivation {
(mkCoqDerivation {
pname = "serapi";
repo = "coq-serapi";
inherit version release;
defaultVersion = with versions;
lib.switch coq.version [
{ case = isEq "8.19"; out = "8.19.0+0.19.3"; }
{ case = isEq "8.18"; out = "8.18.0+0.18.3"; }
{ case = isEq "8.17"; out = "8.17.0+0.17.3"; }
{ case = isEq "8.16"; out = "8.16.0+0.16.3"; }
{ case = isEq "8.15"; out = "8.15.0+0.15.0"; }
{ case = isEq "8.14"; out = "8.14.0+0.14.0"; }
{ case = isEq "8.13"; out = "8.13.0+0.13.0"; }
{ case = isEq "8.12"; out = "8.12.0+0.12.1"; }
{ case = isEq "8.11"; out = "8.11.0+0.11.1"; }
{ case = isEq "8.10"; out = "8.10.0+0.7.2"; }
defaultVersion = lib.switch coq.version [
{ case = lib.versions.isEq "8.19"; out = "8.19.0+0.19.3"; }
{ case = lib.versions.isEq "8.18"; out = "8.18.0+0.18.3"; }
{ case = lib.versions.isEq "8.17"; out = "8.17.0+0.17.3"; }
{ case = lib.versions.isEq "8.16"; out = "8.16.0+0.16.3"; }
{ case = lib.versions.isEq "8.15"; out = "8.15.0+0.15.0"; }
{ case = lib.versions.isEq "8.14"; out = "8.14.0+0.14.0"; }
{ case = lib.versions.isEq "8.13"; out = "8.13.0+0.13.0"; }
{ case = lib.versions.isEq "8.12"; out = "8.12.0+0.12.1"; }
{ case = lib.versions.isEq "8.11"; out = "8.11.0+0.11.1"; }
{ case = lib.versions.isEq "8.10"; out = "8.10.0+0.7.2"; }
] null;
useDune = true;