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