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

[MacPorts]

#51229: Update coq to 8.5p1 -- maintainer patch enclosed
----------------------+---------------------------------
  Reporter:  perry@…  |      Owner:  macports-tickets@…
      Type:  update   |     Status:  new
  Priority:  Normal   |  Milestone:
 Component:  ports    |    Version:  2.3.4
Resolution:           |   Keywords:  haspatch maintainer
      Port:  coq      |
----------------------+---------------------------------

Comment (by perry@…):

 Okay, I find this incomprehensible but somehow the upload seems to get
 corrupted. I've replaced it and it still says p11 after uploading even
 though it says p1 in the file on my local machine. This is a big WTF, but
 please simply fix the p11 to say p1 and it should work. I'm at a loss as
 to why the patch has twice failed to upload correctly.

-- 
Ticket URL: <https://trac.macports.org/ticket/51229#comment:3>
MacPorts <https://www.macports.org/>
Ports system for OS X