[MacPorts] #37425: Patch to upgrade Coq to 8.4pl1
#37425: Patch to upgrade Coq to 8.4pl1 ---------------------+-------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Keywords: | Port: coq ---------------------+-------------------------------- Enclosed please find a patch to: 1) Upgrade Coq to 8.4pl1 2) Remove the no longer needed dependency on OCaml3 -- Ticket URL: <https://trac.macports.org/ticket/37425> MacPorts <http://www.macports.org/> Ports system for Mac OS
#37425: coq: update to 8.4pl1 ----------------------+----------------------- Reporter: perry@… | Owner: reilles@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Resolution: | Keywords: haspatch Port: coq | ----------------------+----------------------- Changes (by ryandesign@…): * keywords: => haspatch * owner: macports-tickets@… => reilles@… * cc: ryandesign@… (added) Comment: Thanks. The revision line should be removed when increasing the version. Antoine, is this ok to commit? -- Ticket URL: <https://trac.macports.org/ticket/37425#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#37425: coq: update to 8.4pl1 ----------------------+----------------------- Reporter: perry@… | Owner: reilles@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Resolution: | Keywords: haspatch Port: coq | ----------------------+----------------------- Description changed by ryandesign@…: Old description:
Enclosed please find a patch to:
1) Upgrade Coq to 8.4pl1 2) Remove the no longer needed dependency on OCaml3
New description: Enclosed please find a patch to: 1. Upgrade Coq to 8.4pl1 2. Remove the no longer needed dependency on OCaml3 -- -- Ticket URL: <https://trac.macports.org/ticket/37425#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#37425: coq: update to 8.4pl1 ----------------------+----------------------- Reporter: perry@… | Owner: reilles@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Resolution: | Keywords: haspatch Port: coq | ----------------------+----------------------- Comment (by perry@…): Would it be possible to get this patch applied? It has been open for a while... -- Ticket URL: <https://trac.macports.org/ticket/37425#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
#37425: coq: update to 8.4pl1 ----------------------+----------------------- Reporter: perry@… | Owner: reilles@… Type: update | Status: closed Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Resolution: fixed | Keywords: haspatch Port: coq | ----------------------+----------------------- Changes (by ecronin@…): * status: new => closed * resolution: => fixed Comment: Maintainer timeout. r102359 -- Ticket URL: <https://trac.macports.org/ticket/37425#comment:4> MacPorts <http://www.macports.org/> Ports system for Mac OS
#37425: coq: update to 8.4pl1 ----------------------+----------------------- Reporter: perry@… | Owner: reilles@… Type: update | Status: closed Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Resolution: fixed | Keywords: haspatch Port: coq | ----------------------+----------------------- Changes (by ryandesign@…): * cc: ecronin@… (added) Comment: Don't change it now, but you didn't remove the revision line as mentioned [comment:1 above]. -- Ticket URL: <https://trac.macports.org/ticket/37425#comment:5> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts