#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