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 -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org