summaryrefslogtreecommitdiff
path: root/lang/maude/Makefile
AgeCommit message (Expand)AuthorFilesLines
2003-12-31Update lang/maude to version 2.0.1.kristerw1-25/+23
2003-11-15Point to the correct location of distfile.cube1-2/+2
2003-07-21COMMENT should start with a capital letter.martti1-2/+2
2003-07-17s/netbsd.org/NetBSD.org/grant1-2/+2
2003-06-02Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages.jschauma1-2/+2
2003-03-28NO_PATCH is deprecated, says pkglint. Remove it.wiz1-2/+1
2003-03-23Update master site url for downloadsjmc1-2/+2
2001-03-20Oops, uncomment LICENSE.wiz1-2/+2
2001-03-20Initial import of maude, a system for equational and rewriting logicwiz1-0/+36