> 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.
The last updater was Github user @carlocab,
https://github.com/Homebrew/homebrew-core/commit/64c07649cd8949d4e9981e
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 easil
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> wrote:
> Poly/ML version 5.9 was officially released on Github last we
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
http://lists.inf.ed.ac.uk