source: trunk/dports/lang/Maude @ 113993

Name Size Rev Age Author Last Change
../
files 78298   8 years ryandesign Maude: new port, version 2.6; see #29335
Portfile 1.6 KB 78298   8 years ryandesign Maude: new port, version 2.6; see #29335
Note: See TracBrowser for help on using the repository browser.