#21415: coq-8.2 Upgrade to coq8.2pl1 ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: reilles@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.8.0 Keywords: | Port: coq ---------------------------------------+------------------------------------ Comment(by jann@…): I can't apply the patch, I get patch: **** malformed patch at line 54 -- Ticket URL: <http://trac.macports.org/ticket/21415#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS