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

MacPorts noreply at macports.org
Mon Apr 25 15:52:23 PDT 2016

#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

More information about the macports-tickets mailing list