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.Matthews at prolingua.co.uk <mailto:David.Matthews at 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 at inf.ed.ac.uk <mailto:polyml at 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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml