Age | Commit message (Expand) | Author | Files | Lines |
2011-04-19 | Update Maude to version 2.6 | asau | 3 | -13/+13 |
2010-05-19 | Update to Maude 2.4 | asau | 3 | -11/+12 |
2010-03-24 | Recursive revision bump for GMP update. | asau | 1 | -1/+2 |
2009-06-14 | Remove @dirrm entries from PLISTs | joerg | 1 | -2/+1 |
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 | 2 | -12/+12 |
2007-12-01 | Updated maude to 2.3. | rillig | 5 | -42/+21 |
2007-02-19 | Retire propolice hack on DragonFly as the system compiler was fixed | joerg | 1 | -18/+0 |
2006-05-21 | USE_LANGUAGES=c c++; remove empty post-install target. | wiz | 1 | -3/+3 |
2006-05-02 | DragonFly GCC ProPolice ICE. | joerg | 1 | -0/+18 |
2006-05-02 | Add some missing includes. Fix C++ for GCC 3.4+. | joerg | 5 | -1/+57 |
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 | 3 | -23/+9 |
2005-04-11 | Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used. | tv | 1 | -2/+1 |
2005-02-24 | Add RMD160 digests | agc | 1 | -1/+3 |
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 | 4 | -58/+36 |
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-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 |
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 |