#19255: coq-8.2 new variant for coqide ------------------------------------------------+--------------------------- Reporter: thomas.hutchinson@… | Owner: reilles@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.7.1 Resolution: fixed | Keywords: Port: coq | ------------------------------------------------+--------------------------- Changes (by macsforever2000@…): * status: new => closed * resolution: => fixed Comment: Looks like r58228. -- Ticket URL: <http://trac.macports.org/ticket/19255#comment:6> MacPorts <http://www.macports.org/> Ports system for Mac OS