On Apr 13, 2008, at 11:11 AM, John Ridgway wrote: > Friends - > I have two outstanding items in the New Packages tracker. I think > I've finally got a version of Poly/ML 5 (polyml5) ready to go, and > Isabelle 2007, which depends on polyml5. They've been sitting there > without action for a while. Would someone be kind enough to test them > out and install them? > > Peace > - John > >
Plus, the last time I looked at polyml5 was at a point when the packaging issues hadn't been fully resolved. ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Don't miss this year's exciting event. There's still time to save $100. Use priority code J8TL2D2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ Fink-devel mailing list Fink-devel@lists.sourceforge.net http://news.gmane.org/gmane.os.apple.fink.devel