| Summary: | sci-mathematics/mathlib-tools still requires dev-python/toml | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Michał Górny <mgorny> |
| Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | ||
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| See Also: | https://github.com/leanprover-community/mathlib-tools/issues/130 | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Bug Depends on: | |||
| Bug Blocks: | 878651 | ||
|
Description
Michał Górny
2022-10-29 13:30:14 UTC
Upstream issue: https://github.com/leanprover-community/mathlib-tools/issues/130 Ping. Upstream on GitHub said they will rewrite it for lean4 and not use toml files... they did not as of now... or maybe they did but that is other repo. I will try to patch this pkg with the patch I had prepared in the linked PR (see "See Also"). The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d872b68a2c277eccdce24ab6fbd92882f88e02f5 commit d872b68a2c277eccdce24ab6fbd92882f88e02f5 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-01-27 13:00:37 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-01-27 13:02:00 +0000 sci-mathematics/mathlib-tools: patch to use tomli(-w) Closes: https://bugs.gentoo.org/878681 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/mathlib-tools/Manifest | 2 +- .../files/mathlib-tools-1.3.2-pull-131.patch | 84 ++++++++++++++++++++++ ...-1.3.2.ebuild => mathlib-tools-1.3.2_p1.ebuild} | 13 ++-- 3 files changed, 93 insertions(+), 6 deletions(-) |