> 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/64c07649cd8949d4e9981e090c89b8421f44b2ed#diff-53e9eb600f5a487aadbe1b212b4eacd347b069ee1710c795fb90283075e7184e _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
