894462 – dev-lang/mercury-22.01.5 version bump

Bug 894462 - dev-lang/mercury-22.01.5 version bump

Summary: dev-lang/mercury-22.01.5 version bump

Status:	UNCONFIRMED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

Importance:	Normal enhancement
Assignee:	No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2023-02-14 21:24 UTC by Barry Schwartz
Modified:	2024-01-17 19:41 UTC (History)
CC List:	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 Barry Schwartz 2023-02-14 21:24:04 UTC

Mercury has had a series of bugfixes since the latest that is in Portage, version 22.01.1. It is now at 22.01.5.

It would be most kind if a new ebuild were provided.

Reproducible: Always

Comment 1 Mike Gilbert gentoo-dev

2023-02-14 22:24:33 UTC

In the future, please start the summary with "category/package", eg. dev-lang/mercury.