summaryrefslogtreecommitdiff
path: root/lang/maude
AgeCommit message (Collapse)AuthorFilesLines
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
Should anybody feel like they could be the maintainer for any of thewe packages, please adjust.
2003-03-28NO_PATCH is deprecated, says pkglint. Remove it.wiz1-2/+1
2003-03-23Update master site url for downloadsjmc1-2/+2
2001-11-01Move pkg/ files into package's toplevel directoryzuntum3-2/+2
2001-04-19Move to sha1 digests, and add distfile sizes.agc1-1/+2
2001-04-17+ move the distfile digest/checksum value from files/md5 to distinfoagc1-1/+1
+ move the patch digest/checksum values from files/patch-sum to distinfo
2001-03-20Oops, uncomment LICENSE.wiz1-2/+2
2001-03-20Initial import of maude, a system for equational and rewriting logicwiz5-0/+81
specification/programming. Package provided by Paolo Torelli in pkg/11280. Attention: Very restrictive license, to be filled out and returned in hardcopy before usage.