nixsearch / pkg / python39Packages.mathlibtools

python39Packages.mathlibtools

Supporting tool for Lean's mathlib

Apache-2.0 github.com python39Packages.mathlibtools 7 releases newest changed 4 years ago

version1.3.2 attributepython39Packages.mathlibtools rev37b97ae3dd714de9a17923d004a2c5b5543dfa6d 2023-01-13 · one commit for every system systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add python39Packages.mathlibtools@1.3.2

$ nix shell github:NixOS/nixpkgs/37b97ae3dd714de9a17923d004a2c5b5543dfa6d#python39Packages.mathlibtools

JSON: /v2/resolve?name=python39Packages.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	✓	✓	✓	✓	`python39Packages.mathlibtools`	37b97ae3dd	2023-01-13	out, dist
1.3.1	✓	✓	✓	✓	`python39Packages.mathlibtools`	80c24eeb9f	2022-12-17	out, dist
1.1.2	✓	✓	✓	✓	`python39Packages.mathlibtools`	varies	2022-11-25	out, dist
1.1.1	✓	✓	✓	✓	`python39Packages.mathlibtools`	ed0fab06cc	2022-08-27
1.1.0	✓	✓	✓	✓	`python39Packages.mathlibtools`	varies	2022-02-15
1.0.0	✓	–	✓	✓	`python39Packages.mathlibtools`	718895c149	2021-10-22
0.0.10	–	–	–	✓	`python39Packages.mathlibtools`	5e6da1e9ac	2020-12-03

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