Bug#494488: Status of polyml
On Sun, Aug 02, 2009 at 02:42:16PM +0200, Florian Weimer wrote:
> What's the status of this bug? Do you still plan to package PolyML
> for Debian?
good question. As a matter of fact,
- the main motivation of packaging polyml, i.e., packaging Isabelle,
has been canceled and
- there are two other SML systems (sml/NJ and mlton) already part of
Debian.
Still, I think PolyML brings some unique features and is, moreover,
actively maintained. Thus, I would conclude it is still worthwhile to
package. I just "pushed" a first update to Poly/ML 5.2.1 to the git
repository and I will try to polish it within the next days ...
Achim
Reply to: