583586 – dev-lang/polyml-5.6 version bump; ebuild attached

Bug 583586 - dev-lang/polyml-5.6 version bump; ebuild attached

Summary: dev-lang/polyml-5.6 version bump; ebuild attached

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	New packages (show other bugs)
Hardware:	All Linux

Importance:	Normal normal
Assignee:	Gentoo Team for the ML programming language family

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2016-05-20 17:36 UTC by 3uklz9+cwyw433xfnykw
Modified:	2016-12-28 12:41 UTC (History)
CC List:	1 user (show)

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

Attachments
Ebuild for polyml 5.6 (polyml-5.6.ebuild,1.28 KB, text/plain) 2016-05-20 17:36 UTC, 3uklz9+cwyw433xfnykw	Details
View All 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 2016-05-20 17:36:51 UTC

Created attachment 434788 [details]
Ebuild for polyml 5.6

PolyML 5.6 was released in January, so I wrote an ebuild for it, please add to Portage.

Comment 1 Jonas Stein gentoo-dev

2016-05-21 09:22:25 UTC

Thank you for the ebuild

Comment 2 Mark Wright gentoo-dev

2016-12-28 12:41:27 UTC

Thanks, bumped.

commit be71b09b3a0fdfad6af225732d1ba02d66330f56
Author: Mark Wright <gienah@gentoo.org>
Date:   Wed Dec 28 23:14:41 2016 +1100

    dev-lang/polyml: Bump to 5.6
    
    Gentoo-bug: 583586