nixsearch / pkg / python313Packages.mathlibtools / 1.3.2
python313Packages.mathlibtools 1.3.2
Supporting tool for Lean's mathlib
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python313Packages.mathlibtools@1.3.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit648f70160c03151bc2121d179291337ad6bc564b
$ nix shell github:NixOS/nixpkgs/648f70160c03151bc2121d179291337ad6bc564b#python313Packages.mathlibtools
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python313Packages.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-linuxLinux · arm64 |
python313Packages.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-darwinmacOS · x86-64 |
python313Packages.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-linuxLinux · x86-64 |
python313Packages.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 |
JSON: /v2/pkg?name=python313Packages.mathlibtools · /v2/resolve?name=python313Packages.mathlibtools&version=1.3.2