nixsearch
nixsearch / pkg / leanPackages.importGraph / 4.34.0-unstable-2026-09-14

leanPackages.importGraph 4.34.0-unstable-2026-09-14

Tools to analyse and visualise Lean 4 import structures
Linux and macOS (Apple Silicon only) last changed

Pin this version

$ devbox add leanPackages.importGraph@4.34.0-unstable-2026-09-14
systemsaarch64-darwin, aarch64-linux, x86_64-linux commita322c65bf7233456788a9ebf03bc067db7dc090a 
$ nix shell github:NixOS/nixpkgs/a322c65bf7233456788a9ebf03bc067db7dc090a#leanPackages.importGraph

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 leanPackages.importGraph a322c65bf723
out
/nix/store/vpv1ca2aaabzgr98p87wzrqnzrsjkpiy-lean4-importGraph-4.34.0-unstable-2026-09-14
aarch64-linux
Linux · arm64		 leanPackages.importGraph a322c65bf723
out
/nix/store/y2riksq2g7nzfrk80a7cxwa83rvvzqy1-lean4-importGraph-4.34.0-unstable-2026-09-14
x86_64-linux
Linux · x86-64		 leanPackages.importGraph a322c65bf723
out
/nix/store/0j3y30pyxdp1y75s7x6qyj1ji6ib96cv-lean4-importGraph-4.34.0-unstable-2026-09-14
all 3 releases older: 4.30.0-unstable-2026-05-26 →

JSON: /v2/pkg?name=leanPackages.importGraph · /v2/resolve?name=leanPackages.importGraph&version=4.34.0-unstable-2026-09-14