nixsearch
nixsearch / pkg / mathlibtools / 1.3.2

mathlibtools 1.3.2

Supporting tool for Lean's mathlib
Linux and macOS last changed outputs: out, dist

Pin this version

$ devbox add mathlibtools@1.3.2
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit648f70160c03151bc2121d179291337ad6bc564b 
$ nix shell github:NixOS/nixpkgs/648f70160c03151bc2121d179291337ad6bc564b#mathlibtools

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 mathlibtools 648f70160c03
out
/nix/store/6nvikhp3l3zgd3p88xwv96s259n12hh0-python3.13-mathlibtools-1.3.2
dist (not default)
/nix/store/iwgqjjql0f39i1mrragrzn5ydmg0iv9k-python3.13-mathlibtools-1.3.2-dist
aarch64-linux
Linux · arm64		 mathlibtools 648f70160c03
out
/nix/store/9bqlg4n4j3q6ir91qfvr737m47a9ka38-python3.13-mathlibtools-1.3.2
dist (not default)
/nix/store/ifcdbvq1q6y16pzrd726jl5frky484wf-python3.13-mathlibtools-1.3.2-dist
x86_64-darwin
macOS · x86-64		 mathlibtools 648f70160c03
out
/nix/store/zda9k3kbhghzqdp20x4pxqhzi41yjzcs-python3.13-mathlibtools-1.3.2
dist (not default)
/nix/store/8zkwn0sfviikbay6zpnw00rm943qgf7y-python3.13-mathlibtools-1.3.2-dist
x86_64-linux
Linux · x86-64		 mathlibtools 648f70160c03
out
/nix/store/ixihbq57zn043v4nq65wlk2nk2f0qrp9-python3.13-mathlibtools-1.3.2
dist (not default)
/nix/store/ijviqky0my0lsr9k4r43r03a53r6bxak-python3.13-mathlibtools-1.3.2-dist
all 7 releases older: 1.3.1 →

JSON: /v2/pkg?name=mathlibtools · /v2/resolve?name=mathlibtools&version=1.3.2