Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 878681 - sci-mathematics/mathlib-tools still requires dev-python/toml
Summary: sci-mathematics/mathlib-tools still requires dev-python/toml
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: 878651
  Show dependency tree
 
Reported: 2022-10-29 13:30 UTC by Michał Górny
Modified: 2023-01-27 13:02 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2022-10-29 13:30:14 UTC 
See tracker.
Comment 1 Maciej Barć gentoo-dev 2022-10-29 17:25:08 UTC 
Upstream issue: https://github.com/leanprover-community/mathlib-tools/issues/130
Comment 2 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2023-01-26 11:13:15 UTC 
Ping.
Comment 3 Maciej Barć gentoo-dev 2023-01-26 11:19:00 UTC 
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").
Comment 4 Larry the Git Cow gentoo-dev 2023-01-27 13:02:02 UTC 
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(-)