24 lines
405 B
Nix
24 lines
405 B
Nix
{
|
|
lib,
|
|
unstable,
|
|
inputs,
|
|
system,
|
|
...
|
|
}:
|
|
let
|
|
lean = inputs.self.packages.${system}.leanLatest;
|
|
in
|
|
{
|
|
imports =
|
|
[ ]
|
|
++ (lib.optional (!unstable) {
|
|
plugins.lean.leanPackage = lean;
|
|
plugins.lean.mappings = true;
|
|
})
|
|
++ (lib.optional unstable {
|
|
dependencies.lean.enable = false;
|
|
plugins.lean.settings.mappings = true;
|
|
});
|
|
plugins.lean.enable = true;
|
|
}
|