nixsearch / pkg / mathlibtools

mathlibtools

Supporting tool for Lean's mathlib

Apache-2.0 github.com mathlibtools 7 releases newest changed 14 months ago

version1.3.2 attributemathlibtools rev648f70160c03151bc2121d179291337ad6bc564b 2025-07-28 · one commit for every system systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux

$ devbox add mathlibtools@1.3.2

$ nix shell github:NixOS/nixpkgs/648f70160c03151bc2121d179291337ad6bc564b#mathlibtools

JSON: /v2/resolve?name=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	✓	✓	✓	✓	`mathlibtools`	648f70160c	2025-07-28	out, dist
1.3.1	✓	✓	✓	✓	`mathlibtools`	80c24eeb9f	2022-12-17	out, dist
1.1.2	✓	✓	✓	✓	`mathlibtools`	varies	2022-11-25	out, dist
1.1.1	✓	✓	✓	✓	`mathlibtools`	ed0fab06cc	2022-08-27
1.1.0	✓	✓	✓	✓	`mathlibtools`	varies	2022-02-15
1.0.0	✓	–	✓	✓	`mathlibtools`	718895c149	2021-10-22
0.0.10	–	–	–	✓	`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.