[MacPorts] #12538: Coq 8.1 fails to compile

[MacPorts]

#12538: Coq 8.1 fails to compile
-------------------------------------+--------------------------------------
  Reporter:  robdockins at fastmail.fm  |       Owner:  macports-dev at lists.macosforge.org
      Type:  defect                  |      Status:  closed                           
  Priority:  Normal                  |   Milestone:  Port Bugs                        
 Component:  ports                   |     Version:  1.5.0                            
Resolution:  fixed                   |    Keywords:                                   
-------------------------------------+--------------------------------------
Changes (by milosh at 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