Bug 651140

Summary:	dev-lang/polyml-5.7.1 version bump
Product:	Gentoo Linux	Reporter:	boojinks
Component:	Current packages	Assignee:	Gentoo Team for the ML programming language family <ml>
Status:	RESOLVED DUPLICATE
Severity:	normal	CC:	mgorny
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---

Description boojinks 2018-03-22 10:13:36 UTC

Poly/ML v5.7.1 was released in November 2017 (https://github.com/polyml/polyml/releases/tag/v5.7.1) however the most recent ebuild targets 5.6.

I've tested targeting 5.7.1 by renaming the current ebuild in a local overlay and it compiles successfully and runs successfully.

Comment 1 Michał Górny archtester

2019-04-03 08:49:08 UTC


*** This bug has been marked as a duplicate of bug 619990 ***