[MacPorts] #51867: Update coq to 8.5p2 -- maintainer patch enclosed