nixsearch / pkg / python310Packages.mathlibtools

python310Packages.mathlibtools

Supporting tool for Lean's mathlib

Apache-2.0 github.com python310Packages.mathlibtools 5 releases newest changed 3 years ago

version1.3.2 attributepython310Packages.mathlibtools revfd04bea4cbf76f86f244b9e2549fca066db8ddff 2023-12-13 · one commit for every system systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add python310Packages.mathlibtools@1.3.2

$ nix shell github:NixOS/nixpkgs/fd04bea4cbf76f86f244b9e2549fca066db8ddff#python310Packages.mathlibtools

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

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date	Outputs
1.3.2resolved	✓	✓	✓	✓	`python310Packages.mathlibtools`	fd04bea4cb	2023-12-13	out, dist
1.3.1	✓	✓	✓	✓	`python310Packages.mathlibtools`	80c24eeb9f	2022-12-17	out, dist
1.1.2	✓	✓	✓	✓	`python310Packages.mathlibtools`	varies	2022-11-25	out, dist
1.1.1	✓	✓	✓	✓	`python310Packages.mathlibtools`	ed0fab06cc	2022-08-27
1.1.0	✓	✓	✓	✓	`python310Packages.mathlibtools`	varies	2022-02-15

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