nixsearch / pkg / python39Packages.mathlibtools / 1.3.2
python39Packages.mathlibtools 1.3.2
Supporting tool for Lean's mathlib
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python39Packages.mathlibtools@1.3.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit37b97ae3dd714de9a17923d004a2c5b5543dfa6d
$ nix shell github:NixOS/nixpkgs/37b97ae3dd714de9a17923d004a2c5b5543dfa6d#python39Packages.mathlibtools
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python39Packages.mathlibtools |
37b97ae3dd71 | out/nix/store/ywnlppz88dj92i3q72bdmkz17a5igxyy-python3.9-mathlibtools-1.3.2 dist (not default)/nix/store/sf75jch4v7dwc9r47y7cs5bz1syq42rp-python3.9-mathlibtools-1.3.2-dist |
||
aarch64-linuxLinux · arm64 |
python39Packages.mathlibtools |
37b97ae3dd71 | out/nix/store/mn4jfw4hq2vb4sawrwd99awjg7265vhx-python3.9-mathlibtools-1.3.2 dist (not default)/nix/store/b2y9n9cqp7ac4xnypg017km96z2ihpd3-python3.9-mathlibtools-1.3.2-dist |
||
x86_64-darwinmacOS · x86-64 |
python39Packages.mathlibtools |
37b97ae3dd71 | out/nix/store/ibi9bbi2aljv3xx5sp44iyc27p6zyj34-python3.9-mathlibtools-1.3.2 dist (not default)/nix/store/jzzhi0zg5vpxvbr8q2ls0xh4g5c7jzxa-python3.9-mathlibtools-1.3.2-dist |
||
x86_64-linuxLinux · x86-64 |
python39Packages.mathlibtools |
37b97ae3dd71 | out/nix/store/7n3d1y78nccv23i6f5fwnfanz4b1crij-python3.9-mathlibtools-1.3.2 dist (not default)/nix/store/jqxrk450v2sjabi04b4svrqv2gk47g7z-python3.9-mathlibtools-1.3.2-dist |
JSON: /v2/pkg?name=python39Packages.mathlibtools · /v2/resolve?name=python39Packages.mathlibtools&version=1.3.2