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 < [email protected]> 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 > [email protected] > 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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
