Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 749699 - dev-ml/zarith-1.10: version bump
Summary: dev-ml/zarith-1.10: version bump
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Tupone Alfredo
URL: https://github.com/ocaml/Zarith/relea...
Whiteboard:
Keywords: PullRequest
Depends on:
Blocks:
 
Reported: 2020-10-17 12:09 UTC by Sam James
Modified: 2020-10-26 07:13 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 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(+)