Re: [MacPorts] #51229: Update coq to 8.5pl1 -- maintainer patch enclosed