[MacPorts] #21415: coq-8.2 Upgrade to coq8.2pl1
#21415: coq-8.2 Upgrade to coq8.2pl1 ---------------------------------------+------------------------------------ Reporter: kiyoshi.coquser@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.8.0 Keywords: | Port: coq ---------------------------------------+------------------------------------ Coq 8.2pl1 has been released: http://coq.inria.fr/coq-82pl1-is-out I have attached a Portfile patch. This includes variants proposed in the Ticket #19255. To avoid doc-variant build error, latex_fliter patch is required. -- Ticket URL: <http://trac.macports.org/ticket/21415> MacPorts <http://www.macports.org/> Ports system for Mac OS
#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 ---------------------------------------+------------------------------------ Changes (by blb@…): * owner: macports-tickets@… => reilles@… -- Ticket URL: <http://trac.macports.org/ticket/21415#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#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
#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 kiyoshi.coquser@…): Replying to [comment:3 jann@…]:
I can't apply the patch, I get patch: **** malformed patch at line 54
Oh, sorry. I have revised Portfile.diff. Please try it. -- Ticket URL: <http://trac.macports.org/ticket/21415#comment:4> MacPorts <http://www.macports.org/> Ports system for Mac OS
#21415: coq-8.2 Upgrade to coq8.2pl1 ----------------------------------------+----------------------------------- Reporter: kiyoshi.coquser@… | Owner: reilles@… Type: update | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.8.0 Resolution: fixed | Keywords: Port: coq | ----------------------------------------+----------------------------------- Changes (by jann@…): * status: new => closed * resolution: => fixed Comment: Committed in r58218 . Thnaks. What was wrong with the patch file ? -- Ticket URL: <http://trac.macports.org/ticket/21415#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts