nixsearch / pkg / python39Packages.mathlibtools / 1.1.1
python39Packages.mathlibtools 1.1.1
Supporting tool for Lean's mathlib
Linux and macOS
last changed
Pin this version
$ devbox add python39Packages.mathlibtools@1.1.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commited0fab06cc1ca9799e6dda30529c963b95c4dc2a
$ nix shell github:NixOS/nixpkgs/ed0fab06cc1ca9799e6dda30529c963b95c4dc2a#python39Packages.mathlibtools
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python39Packages.mathlibtools |
ed0fab06cc1c | out/nix/store/9p2gx5dbr9a54zkih2k3y2666c5mab4f-python3.9-mathlibtools-1.1.1 |
||
aarch64-linuxLinux · arm64 |
python39Packages.mathlibtools |
ed0fab06cc1c | out/nix/store/dciwp70ykwh213a1b1dxfv7a3iv8pdm3-python3.9-mathlibtools-1.1.1 |
||
x86_64-darwinmacOS · x86-64 |
python39Packages.mathlibtools |
ed0fab06cc1c | out/nix/store/djlvpwz8qrw7sdsv4y75zvd71yv95m7p-python3.9-mathlibtools-1.1.1 |
||
x86_64-linuxLinux · x86-64 |
python39Packages.mathlibtools |
ed0fab06cc1c | out/nix/store/pd58hw36pfgpha996xx0i72hqnmj7s84-python3.9-mathlibtools-1.1.1 |
JSON: /v2/pkg?name=python39Packages.mathlibtools · /v2/resolve?name=python39Packages.mathlibtools&version=1.1.1