nixsearch / pkg / python311Packages.mathlibtools / 1.3.2
python311Packages.mathlibtools 1.3.2
Supporting tool for Lean's mathlib
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python311Packages.mathlibtools@1.3.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit566e53c2ad750c84f6d31f9ccb9d00f823165550
$ nix shell github:NixOS/nixpkgs/566e53c2ad750c84f6d31f9ccb9d00f823165550#python311Packages.mathlibtools
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python311Packages.mathlibtools |
566e53c2ad75 | out/nix/store/xcx53mh61rdlslg7glfs7y1d2pn8xlpi-python3.11-mathlibtools-1.3.2 dist (not default)/nix/store/zxlr3b41najmykk91jq6ga2ml41vh337-python3.11-mathlibtools-1.3.2-dist |
||
aarch64-linuxLinux · arm64 |
python311Packages.mathlibtools |
566e53c2ad75 | out/nix/store/f9ih14b664d831g54v4i8g1xz21nlfj2-python3.11-mathlibtools-1.3.2 dist (not default)/nix/store/cylyz947zj726yl568likdhwaldjmnqs-python3.11-mathlibtools-1.3.2-dist |
||
x86_64-darwinmacOS · x86-64 |
python311Packages.mathlibtools |
566e53c2ad75 | out/nix/store/4pfbgnpd32pa7wzv81zmya6q5qq77qxs-python3.11-mathlibtools-1.3.2 dist (not default)/nix/store/8w07p6y82k1hpk4pm79a0br5ff5mg3z6-python3.11-mathlibtools-1.3.2-dist |
||
x86_64-linuxLinux · x86-64 |
python311Packages.mathlibtools |
566e53c2ad75 | out/nix/store/0k0qq3g0hy8cjn6x7ri7fp7jhgbbwih2-python3.11-mathlibtools-1.3.2 dist (not default)/nix/store/wamqk9ri0a6awr3c542bg0gqq9jzg1b2-python3.11-mathlibtools-1.3.2-dist |
JSON: /v2/pkg?name=python311Packages.mathlibtools · /v2/resolve?name=python311Packages.mathlibtools&version=1.3.2