nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-21 08:01:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages.smtcoq: improve formatting

Browse Source
This commit is contained in:
Pierre Roux
2026-07-16 11:34:31 +02:00
parent e8d924d50a
commit f771f20b23
1 changed files with 5 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
pkgs/development/coq-modules/smtcoq/default.nix
View File

@@ -43,36 +43,12 @@ mkCoqDerivation {
inherit version;
defaultVersion =
let
case = case: out: { inherit case out; };
in
with lib.versions;
lib.switch coq.version [
{
case = isEq "8.19";
out = "SMTCoq-2.2+8.19";
}
{
case = isEq "8.18";
out = "SMTCoq-2.2+8.18";
}
{
case = isEq "8.17";
out = "SMTCoq-2.2+8.17";
}
{
case = isEq "8.16";
out = "SMTCoq-2.2+8.16";
}
{
case = isEq "8.15";
out = "SMTCoq-2.2+8.15";
}
{
case = isEq "8.14";
out = "SMTCoq-2.2+8.14";
}
{
case = isEq "8.13";
out = "SMTCoq-2.2+8.13";
}
lib.switch coq.coq-version [
(case (range "8.13" "8.19") "SMTCoq-2.2+${coq.coq-version}")
] null;
propagatedBuildInputs = [