Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 842795 - dev-lang/mercury: Mercury 22.01.1 has been released
Summary: dev-lang/mercury: Mercury 22.01.1 has been released
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal enhancement (vote)
Assignee: Keri Harris
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-05-05 16:00 UTC by Barry Schwartz
Modified: 2022-05-15 10:54 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 Barry Schwartz 2022-05-05 16:00:11 UTC 
Mercury 22.01.1 was released very recently. One might consider adding it to the repertoire of versions.

(It does come almost immediately upon the release of version 22.01, so things may not have settled in the new releases.)



Reproducible: Always
Comment 1 Larry the Git Cow gentoo-dev 2022-05-15 10:54:50 UTC 
The bug has been closed via the following commit(s):

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

commit b45e9aa0ba961a0df35803117a5814b047d9baf4
Author:     Keri Harris <keri@gentoo.org>
AuthorDate: 2022-05-15 10:52:08 +0000
Commit:     Keri Harris <keri@gentoo.org>
CommitDate: 2022-05-15 10:53:40 +0000

    dev-lang/mercury: version bump
    
    Closes: https://bugs.gentoo.org/842795
    Package-Manager: Portage-3.0.30, Repoman-3.0.3
    Signed-off-by: Keri Harris <keri@gentoo.org>

 dev-lang/mercury/Manifest               |   2 +
 dev-lang/mercury/mercury-22.01.1.ebuild | 201 ++++++++++++++++++++++++++++++++
 2 files changed, 203 insertions(+)