[MacPorts] #29335: new port: Maude

MacPorts noreply at macports.org
Sun May 1 15:14:55 PDT 2011


#29335: new port: Maude
-------------------------------+--------------------------------------------
 Reporter:  dcolish@…          |       Owner:  macports-tickets@…                   
     Type:  submission         |      Status:  new                                  
 Priority:  Normal             |   Milestone:                                       
Component:  ports              |     Version:  1.9.2                                
 Keywords:                     |        Port:                                       
-------------------------------+--------------------------------------------
 I would like to propose the addition of Maude to the supported ports.
 Maude is a high-performance reflective language and system supporting both
 equational and rewriting logic specification and programming for a wide
 range of applications.

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


More information about the macports-tickets mailing list