nixsearch
nixsearch / pkg / python313Packages.mathlibtools

python313Packages.mathlibtools

Supporting tool for Lean's mathlib
Apache-2.0 github.com python313Packages.mathlibtools 1 release newest changed
python313Packages.mathlibtools@ latest, 3.11, ^3.11, >=3.10 <3.12
version1.3.2 attributepython313Packages.mathlibtools rev648f70160c03151bc2121d179291337ad6bc564b · one commit for every system systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux 
$ devbox add python313Packages.mathlibtools@1.3.2
$ nix shell github:NixOS/nixpkgs/648f70160c03151bc2121d179291337ad6bc564b#python313Packages.mathlibtools

JSON: /v2/resolve?name=python313Packages.mathlibtools&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac		arm
linux		x86
mac		x86
linux		AttributeCommitDateOutputs
1.3.2resolved ✓✓✓✓ python313Packages.mathlibtools 648f70160c out, dist

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.