Bug 935268

Summary:	dev-libs/gmp-6.3.0-r1 is wrongly assigned slot 10.4 when it should be 10.5
Product:	Gentoo Linux	Reporter:	Ivan Lloro <ivan.lloro.boada>
Component:	Current packages	Assignee:	Gentoo Linux bug wranglers <bug-wranglers>
Status:	RESOLVED INVALID
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---

Description Ivan Lloro 2024-07-01 08:10:29 UTC

Ebuild dev-libs/gmp-6.3.0-r1 is emerging library libgmp.so.10.5.0. Therefore it should assigned to slot 10.5 (instead of the current 10.4).

Comment 1 Sam James archtester

2024-07-01 08:15:35 UTC

The SONAME didn't change, so there's no need.