#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