> 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,
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
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