Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2003-12-31 | Update lang/maude to version 2.0.1. | kristerw | 1 | -25/+23 |
2003-11-15 | Point to the correct location of distfile. | cube | 1 | -2/+2 |
2003-07-21 | COMMENT should start with a capital letter. | martti | 1 | -2/+2 |
2003-07-17 | s/netbsd.org/NetBSD.org/ | grant | 1 | -2/+2 |
2003-06-02 | Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages. | jschauma | 1 | -2/+2 |
2003-03-28 | NO_PATCH is deprecated, says pkglint. Remove it. | wiz | 1 | -2/+1 |
2003-03-23 | Update master site url for downloads | jmc | 1 | -2/+2 |
2001-03-20 | Oops, uncomment LICENSE. | wiz | 1 | -2/+2 |
2001-03-20 | Initial import of maude, a system for equational and rewriting logic | wiz | 1 | -0/+36 |