I can't help with Brew but in case it's any use, the MacPorts port has
been updated, although there is a pending merge request to apply fixes
for arm.
Regards,
Phil
On 07/12/21 13:25, Frank Pfenning wrote:
Would it be possible to update the Brew formula for PolyML from 5.8.2?
I couldn't easily determine who the maintainer for that is.
Thanks,
Frank
On Fri, Nov 26, 2021 at 3:18 AM David Matthews
<david.matth...@prolingua.co.uk <mailto:david.matth...@prolingua.co.uk>>
wrote:
Poly/ML version 5.9 was officially released on Github last weekend.
There is a fixes-5.9 branch which already contains one fix, but that
just affects the interpreted version.
David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk <mailto:polyml@inf.ed.ac.uk>
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
--
Frank Pfenning, Professor
Computer Science Department
Carnegie Mellon University
Pittsburgh, PA 15213-3891
http://www.cs.cmu.edu/~fp
+1 412 268-6343
GHC 6017
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml