nixsearch / pkg / leanPackages.importGraph / 4.29.0
leanPackages.importGraph 4.29.0
Tools to analyse and visualise Lean 4 import structures
Linux and macOS
last changed
Pin this version
$ devbox add leanPackages.importGraph@4.29.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit4a29d733e8a7d5b824c3d8c958a946a9867b3eb2
$ nix shell github:NixOS/nixpkgs/4a29d733e8a7d5b824c3d8c958a946a9867b3eb2#leanPackages.importGraph
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
leanPackages.importGraph |
4a29d733e8a7 | out/nix/store/45i9ib4vdiccadxrsz9vdp45xwbd296c-lean4-importGraph-4.29.0 |
||
aarch64-linuxLinux · arm64 |
leanPackages.importGraph |
4a29d733e8a7 | out/nix/store/5vl3v83n8yjil53cqf89b3p64h7hl5lc-lean4-importGraph-4.29.0 |
||
x86_64-darwinmacOS · x86-64 |
leanPackages.importGraph |
4a29d733e8a7 | out/nix/store/gcg6g1j2jnjlh7zwjxbbg2k7zxlc4m8j-lean4-importGraph-4.29.0 |
||
x86_64-linuxLinux · x86-64 |
leanPackages.importGraph |
4a29d733e8a7 | out/nix/store/yq3mwbpxqxdrblqdypg7yz7s2176h6if-lean4-importGraph-4.29.0 |
JSON: /v2/pkg?name=leanPackages.importGraph · /v2/resolve?name=leanPackages.importGraph&version=4.29.0