nixsearch / pkg / python310Packages.mathlibtools / 1.1.2
python310Packages.mathlibtools 1.1.2
Supporting tool for Lean's mathlib
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python310Packages.mathlibtools@1.1.2
$ nix shell github:NixOS/nixpkgs/55b3f68bda6d4f4dc6092eed0508063f154fa4fd#python310Packages.mathlibtools
$ nix shell github:NixOS/nixpkgs/6b5019a48f876f3288efc626fa8b70ad0c64eb46#python310Packages.mathlibtools
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python310Packages.mathlibtools |
55b3f68bda6d | out/nix/store/yyybbnsfnraipjyxg0hn0vwl4h8cfxsm-python3.10-mathlibtools-1.1.2 dist (not default)/nix/store/ibnp25ziy9b157szi8dm0prk2fp2v7w7-python3.10-mathlibtools-1.1.2-dist |
||
aarch64-linuxLinux · arm64 |
python310Packages.mathlibtools |
6b5019a48f87 | out/nix/store/m3dqqi6n43n0g6rgjfyzpwfxw1jlfxkm-python3.10-mathlibtools-1.1.2 dist (not default)/nix/store/sdk1n4w8dm4d37pmi5mm236845rbz7y6-python3.10-mathlibtools-1.1.2-dist |
||
x86_64-darwinmacOS · x86-64 |
python310Packages.mathlibtools |
55b3f68bda6d | out/nix/store/g5v47qbr74a90hyk78vg1jm03bmlbpvp-python3.10-mathlibtools-1.1.2 dist (not default)/nix/store/289i6wlr8163cqch1kqpxszxnmchhw0w-python3.10-mathlibtools-1.1.2-dist |
||
x86_64-linuxLinux · x86-64 |
python310Packages.mathlibtools |
6b5019a48f87 | out/nix/store/smzqk0nkd9fjf2nl9kf6vdmmvvwf9j30-python3.10-mathlibtools-1.1.2 dist (not default)/nix/store/0vy8w1cmmh4lbib75g1kvyn4np3pbprx-python3.10-mathlibtools-1.1.2-dist |
JSON: /v2/pkg?name=python310Packages.mathlibtools · /v2/resolve?name=python310Packages.mathlibtools&version=1.1.2