mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-07-06 17:13:24 -05:00
50 lines
861 B
Nix
50 lines
861 B
Nix
{
|
|
rocq-core,
|
|
mkRocqDerivation,
|
|
mathcomp,
|
|
mathcomp-bigenough,
|
|
lib,
|
|
version ? null,
|
|
}:
|
|
|
|
mkRocqDerivation {
|
|
|
|
namePrefix = [
|
|
"rocq-core"
|
|
"mathcomp"
|
|
];
|
|
pname = "real-closed";
|
|
owner = "math-comp";
|
|
inherit version;
|
|
release = {
|
|
"2.0.5".sha256 = "sha256-nns1TF3isv8FpWqtXilfMEVKvR50fvS6MXnYVzbCzVs=";
|
|
};
|
|
|
|
defaultVersion =
|
|
let
|
|
case = rocq: mc: out: {
|
|
cases = [
|
|
rocq
|
|
mc
|
|
];
|
|
inherit out;
|
|
};
|
|
in
|
|
with lib.versions;
|
|
lib.switch
|
|
[ rocq-core.version mathcomp.version ]
|
|
[
|
|
(case (range "9.0" "9.2") (isGe "2.5.0") "2.0.5")
|
|
]
|
|
null;
|
|
|
|
propagatedBuildInputs = [
|
|
mathcomp.field
|
|
mathcomp-bigenough
|
|
];
|
|
|
|
meta = {
|
|
description = "Mathematical Components Library on real closed fields";
|
|
license = lib.licenses.cecill-c;
|
|
};
|
|
}
|