[MacPorts] #22596: coq and dependency-tracking

MacPorts noreply at macports.org
Sat Feb 5 18:29:49 PST 2011


#22596: coq and dependency-tracking
--------------------------------------+-------------------------------------
  Reporter:  alex_a_bordeaux@…        |       Owner:  reilles@…       
      Type:  defect                   |      Status:  closed          
  Priority:  Normal                   |   Milestone:                  
 Component:  ports                    |     Version:  1.8.1           
Resolution:  fixed                    |    Keywords:                  
      Port:  coq                      |  
--------------------------------------+-------------------------------------
Changes (by jmr@…):

  * status:  new => closed
  * resolution:  => fixed


Comment:

 Universal variant disabled entirely in r75734, since ocaml does not have
 one.

-- 
Ticket URL: <https://trac.macports.org/ticket/22596#comment:2>
MacPorts <http://www.macports.org/>
Ports system for Mac OS


More information about the macports-tickets mailing list