pkgsrc/lang/maude
2012-10-02 20:11:34 +00:00
..
patches
DESCR
distinfo Update Maude to version 2.6 2011-04-19 19:18:40 +00:00
Makefile Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days. 2012-10-02 20:11:34 +00:00
MESSAGE
PLIST Update Maude to version 2.6 2011-04-19 19:18:40 +00:00