Bug 704876

Summary:	media-sound/frescobaldi-3.1.1 version bump
Product:	Gentoo Linux	Reporter:	Georg Hennig <georg298>
Component:	Current packages	Assignee:	Gentoo Sound Team <sound>
Status:	RESOLVED FIXED
Severity:	normal	Keywords:	PullRequest
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
See Also:	https://github.com/gentoo/gentoo/pull/14290
Whiteboard:
Package list:		Runtime testing required:	---

Description Georg Hennig 2020-01-06 17:18:24 UTC

New version 3.1.1 is available on
http://frescobaldi.org/

I installed using a copy of the 3.0.0 ebuild from the tree, but needed to add
dev-python/PyQtWebEngine
as dependency. For that,
dev-python/PyQt5
seems to require webchannel as use flag (while it might be possible to remove webkit, but I didn't test that).

frescobaldi-3.1.1 seems to run fine with the quick tests I did.

Comment 1 Larry the Git Cow gentoo-dev

2020-02-16 13:41:48 UTC

The bug has been closed via the following commit(s):

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

commit cf36947cb83d55e687b318bb04fdff1c59ab737c
Author:     Jouni Kosonen <jouni.kosonen@tukesoft.com>
AuthorDate: 2020-01-09 22:29:21 +0000
Commit:     Andreas Sturmlechner <asturm@gentoo.org>
CommitDate: 2020-02-16 13:41:30 +0000

    media-sound/frescobaldi: version bump to 3.1.1
    
    Also depend on dev-python/PyQtWebEngine instead of dev-python/PyQt5[webkit]
    
    Closes: https://bugs.gentoo.org/704876
    Signed-off-by: Jouni Kosonen <jouni.kosonen@tukesoft.com>
    Closes: https://github.com/gentoo/gentoo/pull/14290
    Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>

 media-sound/frescobaldi/Manifest                 |  1 +
 media-sound/frescobaldi/frescobaldi-3.1.1.ebuild | 41 ++++++++++++++++++++++++
 2 files changed, 42 insertions(+)