Re: [polyml] 5.9 released

2021-12-07 Thread Matthew Fernandez
> 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

Re: [polyml] 5.9 released

2021-12-07 Thread Phil Clayton
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

Re: [polyml] 5.9 released

2021-12-07 Thread Frank Pfenning
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

[polyml] 5.9 released

2021-11-26 Thread David Matthews
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