summaryrefslogtreecommitdiff
path: root/lang/maude
AgeCommit message (Expand)AuthorFilesLines
2005-10-14Update lang/maude to 2.1.1tonio3-23/+9
2005-04-11Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.tv1-2/+1
2005-02-24Add RMD160 digestsagc1-1/+3
2004-10-09Correct WRKSRC to not use the nb[0-9]* from PKGVERSION.kristerw1-2/+2
2004-10-03Libtool fix for PR pkg/26633, and other issues. Update libtool to 1.5.10tv1-1/+2
2004-05-02Convert to buildlink3.snj1-5/+5
2004-01-20Move WRKSRC definition away from the first paragraph in a Makefile.agc1-2/+2
2003-12-31Update lang/maude to version 2.0.1.kristerw4-58/+36
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-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
2001-03-20Oops, uncomment LICENSE.wiz1-2/+2
2001-03-20Initial import of maude, a system for equational and rewriting logicwiz5-0/+81