[MacPorts] #36005: Please upgrade Coq to 8.4
#36005: Please upgrade Coq to 8.4 --------------------------------+------------------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Keywords: | Port: coq --------------------------------+------------------------------------------- Coq 8.4 was released a few weeks ago. The update is quite simple -- just bumping the version number and the checksums. I've enclosed a patch. -- Ticket URL: <https://trac.macports.org/ticket/36005> MacPorts <http://www.macports.org/> Ports system for Mac OS
#36005: coq: update to 8.4 --------------------------------+------------------------------------------- Reporter: perry@… | Owner: reilles@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Keywords: haspatch | Port: coq --------------------------------+------------------------------------------- Changes (by ryandesign@…): * keywords: => haspatch * owner: macports-tickets@… => reilles@… Comment: The revision should drop to zero. Does this version of coq support ocaml4? if so the dependency should be updated. -- Ticket URL: <https://trac.macports.org/ticket/36005#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#36005: coq: update to 8.4 ----------------------+----------------------- 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@…): Replying to [comment:1 ryandesign@…]:
The revision should drop to zero.
Does this version of coq support ocaml4? if so the dependency should be updated.
So far as I can tell, the ocaml 3 dependency still seems to be correct. I'll make some inquiries about what the issue is, but could we update the package in the meanwhile? I've been running it for a while now and it works very well. -- Ticket URL: <https://trac.macports.org/ticket/36005#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#36005: coq: update to 8.4 ----------------------+----------------------- 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 cal@…): * cc: cal@… (added) * status: new => closed * resolution: => fixed Comment: Updated in r98282. -- Ticket URL: <https://trac.macports.org/ticket/36005#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts