| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-02-19 | python310Packages.pygithub: Normalize attribute, pname, dirname | Martin Weinelt | |
| 2022-12-18 | python310Packages.mathlibtools: 1.3.1 -> 1.3.2 | R. Ryantm | |
| 2022-12-05 | python310Packages.mathlibtools: rename GitPython | Fabian Affolter | |
| 2022-11-29 | python310Packages.mathlibtools: add changelog to meta | Mario Rodas | |
| 2022-11-29 | python310Packages.mathlibtools: 1.3.0 -> 1.3.1 | Mario Rodas | |
| https://github.com/leanprover-community/mathlib-tools/releases/tag/v1.3.1 | |||
| 2022-11-13 | python310Packages.mathlibtools: 1.1.2 -> 1.3.0 | R. Ryantm | |
| 2022-08-30 | python310Packages.mathlibtools: 1.1.1 -> 1.1.2 (#188491) | R. RyanTM | |
| * python310Packages.mathlibtools: 1.1.1 -> 1.1.2 * python310Packages.mathlibtools: add pythonImportsCheck - add disabled Co-authored-by: Fabian Affolter <mail@fabian-affolter.ch> | |||
| 2022-02-25 | mathlibtools: 1.1.0 -> 1.1.1 | R. Ryantm | |
| 2021-11-04 | mathlibtools: fix build | Naïm Favier | |
| 2021-10-11 | python3Packages.mathlibtools: 1.0.0 -> 1.1.0 | Martin Weinelt | |
| 2020-12-01 | python3Packages.mathlibtools: 0.0.10 -> 1.0.0 | Frederik Rietdijk | |
| 2020-08-29 | mathlibtools: init at 0.0.10 | Gabriel Ebner | |
 |
index : nixos/nixpkgs.git | |
| Nix Packages collection | Octavian Cerna |
| summaryrefslogtreecommitdiff |