[MacPorts] #29335: new port: Maude

MacPorts noreply at macports.org
Sun May 1 15:19:30 PDT 2011


#29335: new port: Maude
-------------------------------+--------------------------------------------
 Reporter:  dcolish@…          |       Owner:  ryandesign@…           
     Type:  submission         |      Status:  assigned               
 Priority:  Normal             |   Milestone:                         
Component:  ports              |     Version:  1.9.2                  
 Keywords:                     |        Port:  Maude                  
-------------------------------+--------------------------------------------
Changes (by ryandesign@…):

  * status:  new => assigned
  * owner:  macports-tickets@… => ryandesign@…
  * port:  => Maude


Comment:

 Thanks.

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


More information about the macports-tickets mailing list