| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2018-07-18 | Mark packages that require C++03 (or the GNU variants) if they fail with | joerg | 1 | -2/+2 |
| 2017-01-19 | Convert all occurrences (353 by my count) of | agc | 1 | -3/+3 |
| 2016-12-17 | Fixed pkglint warnings. | rillig | 1 | -4/+4 |
| 2012-10-02 | Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days. | asau | 1 | -2/+1 |
| 2011-04-19 | Update Maude to version 2.6 | asau | 1 | -8/+7 |
| 2010-05-19 | Update to Maude 2.4 | asau | 1 | -4/+7 |
| 2010-03-24 | Recursive revision bump for GMP update. | asau | 1 | -1/+2 |
| 2009-03-06 | Convert to user-destdir, and mark as MAKE_JOBS_SAFE=no (latter part | wiz | 1 | -2/+6 |
| 2008-02-28 | Replaced the deprecated INSTALLATION_DIRS_FROM_PLIST with AUTO_MKDIRS, | rillig | 1 | -2/+2 |
| 2007-12-01 | Maybe it's better to keep the directory for the *.maude files as it was | rillig | 1 | -2/+2 |
| 2007-12-01 | Updated maude to 2.3. | rillig | 1 | -6/+7 |
| 2006-05-21 | USE_LANGUAGES=c c++; remove empty post-install target. | wiz | 1 | -3/+3 |
| 2006-02-05 | Recursive revision bump / recommended bump for gettext ABI change. | joerg | 1 | -1/+2 |
| 2005-10-14 | Update lang/maude to 2.1.1 | tonio | 1 | -14/+4 |
| 2005-04-11 | Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used. | tv | 1 | -2/+1 |
| 2004-10-09 | Correct WRKSRC to not use the nb[0-9]* from PKGVERSION. | kristerw | 1 | -2/+2 |
| 2004-10-03 | Libtool fix for PR pkg/26633, and other issues. Update libtool to 1.5.10 | tv | 1 | -1/+2 |
| 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 | 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 |
