Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 878679

Summary: sci-mathematics/cvc4 still requires dev-python/toml
Product: Gentoo Linux Reporter: Michał Górny <mgorny>
Component: Current packagesAssignee: Tupone Alfredo <tupone>
Status: RESOLVED FIXED    
Severity: normal    
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Bug Depends on:    
Bug Blocks: 878651    

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(-)