Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 619990 - dev-lang/polyml version bump
Summary: dev-lang/polyml version bump
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal enhancement (vote)
Deadline: 2019-05-03
Assignee: Gentoo Team for the ML programming language family
URL: https://github.com/polyml/polyml/rele...
Whiteboard:
Keywords:
: 651140 (view as bug list)
Depends on:
Blocks:
 
Reported: 2017-05-28 10:04 UTC by 3uklz9+cwyw433xfnykw
Modified: 2019-04-06 19:15 UTC (History)
4 users (show)

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 3uklz9+cwyw433xfnykw 2017-05-28 10:04:15 UTC 
PolyML 5.7 was released in April:

https://github.com/polyml/polyml/releases/tag/v5.7

There's no need for new ebuild, the previous one was written so well that it works with new name:

cp polyml-5.6.ebuild polyml-5.7.ebuild

Too bad I cannot set the Assignee, I would set it to Gentoo Team for the ML programming language family <ml@gentoo.org>. Instead, I CC'ed them.
Comment 1 3uklz9+cwyw433xfnykw 2018-09-01 08:49:42 UTC 
PolyML 5.7.1 was also released.

There's no need to modify the ebuild, the previous one was written so well that it works with new name:

cp polyml-5.6.ebuild polyml-5.7.1.ebuild
Comment 2 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-04-03 08:49:08 UTC 
*** Bug 651140 has been marked as a duplicate of this bug. ***
Comment 3 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-04-03 08:49:40 UTC 
Now 5.8.
Comment 4 Tupone Alfredo gentoo-dev 2019-04-06 19:15:43 UTC 
Bumped to 5.8