7 Dec
2021
7 Dec
'21
3:51 p.m.
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/64c07649cd8949d4e9981e090c8...