Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 838694 - dev-ml/base-0.15.0: version bump
Summary: dev-ml/base-0.15.0: version bump
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-04-15 22:40 UTC by Alessandro Barbieri
Modified: 2022-04-21 16:32 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Alessandro Barbieri 2022-04-15 22:40:08 UTC
please bump, latest tag is at 0.15.0
https://github.com/janestreet/base/releases/tag/v0.15.0
Comment 1 Larry the Git Cow gentoo-dev 2022-04-21 16:32:27 UTC
The bug has been closed via the following commit(s):

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

commit 4dddff8ea5734bcf544411fd5dfe8cf6f6664f11
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2022-04-21 16:32:16 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2022-04-21 16:32:16 +0000

    dev-ml/base: 0.15.0 bump
    
    Closes: https://bugs.gentoo.org/838694
    Package-Manager: Portage-3.0.30, Repoman-3.0.3
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/base/Manifest           |  1 +
 dev-ml/base/base-0.15.0.ebuild | 24 ++++++++++++++++++++++++
 2 files changed, 25 insertions(+)