lean-tui 1.1.0

Standalone TUI infoview for Lean 4 theorem prover
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

{ craneLib, protocolSchema }:
let
  cargoArgs = {
    src = craneLib.cleanCargoSource ./.;
    strictDeps = true;
    LEAN_DAG_SCHEMA = protocolSchema;
    meta.mainProgram = "lean-tui";
  };
  cargoArtifacts = craneLib.buildDepsOnly cargoArgs;
in
craneLib.buildPackage (
  cargoArgs
  // {
    inherit cargoArtifacts;
    doCheck = false;
    passthru = { inherit cargoArgs cargoArtifacts; };
  }
)