nixsearch / pkg / python310Packages.mathlibtools / 1.3.2
python310Packages.mathlibtools 1.3.2
Supporting tool for Lean's mathlib
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python310Packages.mathlibtools@1.3.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitfd04bea4cbf76f86f244b9e2549fca066db8ddff
$ nix shell github:NixOS/nixpkgs/fd04bea4cbf76f86f244b9e2549fca066db8ddff#python310Packages.mathlibtools
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python310Packages.mathlibtools |
fd04bea4cbf7 | out/nix/store/lmq826wqi11cffzhfv3plhmjxn35yirv-python3.10-mathlibtools-1.3.2 dist (not default)/nix/store/jhg8jq456a2msnv8985i1d8p00vllabq-python3.10-mathlibtools-1.3.2-dist |
||
aarch64-linuxLinux · arm64 |
python310Packages.mathlibtools |
fd04bea4cbf7 | out/nix/store/8f3v2gg1d2d7fm4g46zly9afcwqp3xsr-python3.10-mathlibtools-1.3.2 dist (not default)/nix/store/2iy5ccjbngzsvzz82734jmz9g46hx3lm-python3.10-mathlibtools-1.3.2-dist |
||
x86_64-darwinmacOS · x86-64 |
python310Packages.mathlibtools |
fd04bea4cbf7 | out/nix/store/a5mk8h6a8i84a8zgqm6w4bkxd5w82iin-python3.10-mathlibtools-1.3.2 dist (not default)/nix/store/7xgk04qwj053dr84wipyymadr8lm5004-python3.10-mathlibtools-1.3.2-dist |
||
x86_64-linuxLinux · x86-64 |
python310Packages.mathlibtools |
fd04bea4cbf7 | out/nix/store/2xpkz8ppgpihlxwy6wwv5v8n1rakzgz4-python3.10-mathlibtools-1.3.2 dist (not default)/nix/store/6zzdv5bwy6cmq8p2yrjaw8vfd90a9dw4-python3.10-mathlibtools-1.3.2-dist |
JSON: /v2/pkg?name=python310Packages.mathlibtools · /v2/resolve?name=python310Packages.mathlibtools&version=1.3.2