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

Bug 749699

Summary: dev-ml/zarith-1.10: version bump
Product: Gentoo Linux Reporter: Sam James <sam>
Component: Current packagesAssignee: Tupone Alfredo <tupone>
Status: RESOLVED FIXED    
Severity: normal Keywords: PullRequest
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
URL: https://github.com/ocaml/Zarith/releases/tag/release-1.10
See Also: https://github.com/gentoo/gentoo/pull/17959
Whiteboard:
Package list:
Runtime testing required: ---

Description Sam James archtester Gentoo Infrastructure gentoo-dev Security 2020-10-17 12:09:52 UTC
Thanks!
Comment 1 Larry the Git Cow gentoo-dev 2020-10-26 07:13:18 UTC
The bug has been closed via the following commit(s):

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

commit 5d0f42b07ad9f67f83f810c327605c21a47abf49
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2020-10-26 07:12:52 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2020-10-26 07:12:52 +0000

    dev-ml/zarith: version bump to 1.10
    
    Closes: https://bugs.gentoo.org/749699
    Package-Manager: Portage-3.0.8, Repoman-3.0.2
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/zarith/Manifest           |  1 +
 dev-ml/zarith/zarith-1.10.ebuild | 58 ++++++++++++++++++++++++++++++++++++++++
 2 files changed, 59 insertions(+)