Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 878679 - sci-mathematics/cvc4 still requires dev-python/toml
Summary: sci-mathematics/cvc4 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: Tupone Alfredo
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: 878651
  Show dependency tree
 
Reported: 2022-10-29 13:29 UTC by Michał Górny
Modified: 2022-11-11 22:34 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:29:53 UTC 
See tracker.
Comment 1 Larry the Git Cow gentoo-dev 2022-11-11 22:34:52 UTC 
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ebdd2a9c7d597d29d1efa38f8bac6b3e68a8adb7

commit ebdd2a9c7d597d29d1efa38f8bac6b3e68a8adb7
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2022-11-11 22:34:11 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2022-11-11 22:34:41 +0000

    sci-mathematics/cvc4: drop toml usage
    
    Closes: https://bugs.gentoo.org/878679
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 .../{cvc4-1.8-r1.ebuild => cvc4-1.8-r2.ebuild}     |  9 +++--
 sci-mathematics/cvc4/files/cvc4-1.8-toml.patch     | 46 ++++++++++++++++++++++
 2 files changed, 52 insertions(+), 3 deletions(-)