nixsearch / pkg / python39Packages.mathlibtools / 1.1.2
python39Packages.mathlibtools 1.1.2
Supporting tool for Lean's mathlib
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python39Packages.mathlibtools@1.1.2
$ nix shell github:NixOS/nixpkgs/55b3f68bda6d4f4dc6092eed0508063f154fa4fd#python39Packages.mathlibtools
$ nix shell github:NixOS/nixpkgs/6b5019a48f876f3288efc626fa8b70ad0c64eb46#python39Packages.mathlibtools
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python39Packages.mathlibtools |
55b3f68bda6d | out/nix/store/r78z2y2kdhjvfjqm8p65j54w59ql6al6-python3.9-mathlibtools-1.1.2 dist (not default)/nix/store/9g5gsh7mni17w5bm0zaf2vj7nrfz4a0n-python3.9-mathlibtools-1.1.2-dist |
||
aarch64-linuxLinux · arm64 |
python39Packages.mathlibtools |
6b5019a48f87 | out/nix/store/6qczy62jin8ixgb1vb42cgnq2qv3njrl-python3.9-mathlibtools-1.1.2 dist (not default)/nix/store/dmxhd7zdrn475iwgkzxmi0yhg9z0yp35-python3.9-mathlibtools-1.1.2-dist |
||
x86_64-darwinmacOS · x86-64 |
python39Packages.mathlibtools |
55b3f68bda6d | out/nix/store/j90hkab6lnwgdrs5mclb19xi31g55khg-python3.9-mathlibtools-1.1.2 dist (not default)/nix/store/wxff372gsdmxsyxqlqqgp3a7zz9lrp4x-python3.9-mathlibtools-1.1.2-dist |
||
x86_64-linuxLinux · x86-64 |
python39Packages.mathlibtools |
6b5019a48f87 | out/nix/store/v79dj6fj71snqd0hglcpcnvixrca7zj7-python3.9-mathlibtools-1.1.2 dist (not default)/nix/store/bc0py701jfvz30w6g6gxwi29bngkqina-python3.9-mathlibtools-1.1.2-dist |
JSON: /v2/pkg?name=python39Packages.mathlibtools · /v2/resolve?name=python39Packages.mathlibtools&version=1.1.2