| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2004-05-02 | Convert to buildlink3. | snj | 1 | -5/+5 | |
| 2004-01-20 | Move WRKSRC definition away from the first paragraph in a Makefile. | agc | 1 | -2/+2 | |
| 2003-12-31 | Update lang/maude to version 2.0.1. | kristerw | 4 | -58/+36 | |
| Maude 2 extends and generalizes Maude 1 to allow more expressive modules and a wider range of computational commands. The license has been changed to the GNU General Public License. | |||||
| 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 | |
| Should anybody feel like they could be the maintainer for any of thewe packages, please adjust. | |||||
| 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-11-01 | Move pkg/ files into package's toplevel directory | zuntum | 3 | -2/+2 | |
| 2001-04-19 | Move to sha1 digests, and add distfile sizes. | agc | 1 | -1/+2 | |
| 2001-04-17 | + move the distfile digest/checksum value from files/md5 to distinfo | agc | 1 | -1/+1 | |
| + move the patch digest/checksum values from files/patch-sum to distinfo | |||||
| 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 | 5 | -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. | |||||
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |