#12538: Coq 8.1 fails to compile -------------------------------------+-------------------------------------- Reporter: robdockins@fastmail.fm | Owner: macports-dev@lists.macosforge.org Type: defect | Status: closed Priority: Normal | Milestone: Port Bugs Component: ports | Version: 1.5.0 Resolution: fixed | Keywords: -------------------------------------+-------------------------------------- Changes (by milosh@macports.org): * status: new => closed * resolution: => fixed Comment: Resolved in r30978 -- Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/12538#comment:2> MacPorts </projects/macports> Ports system for Mac OS