agc
3ad1bdbf06
Move WRKSRC definition away from the first paragraph in a Makefile.
2004-01-20 12:18:15 +00:00
kristerw
a0e65e6496
Update lang/maude to version 2.0.1.
...
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-12-31 01:20:35 +00:00
cube
505a62bf9c
Point to the correct location of distfile.
2003-11-15 08:46:15 +00:00
martti
ee90b572a6
COMMENT should start with a capital letter.
2003-07-21 16:45:54 +00:00
grant
0155927c43
s/netbsd.org/NetBSD.org/
2003-07-17 21:41:05 +00:00
jschauma
e366d0c694
Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages.
...
Should anybody feel like they could be the maintainer for any of thewe packages,
please adjust.
2003-06-02 01:15:31 +00:00
wiz
28a4483bc7
NO_PATCH is deprecated, says pkglint. Remove it.
2003-03-28 21:14:10 +00:00
jmc
d1e5712296
Update master site url for downloads
2003-03-23 23:56:15 +00:00
zuntum
a437fd43cc
Move pkg/ files into package's toplevel directory
2001-11-01 00:20:13 +00:00
agc
8118fe36ae
Move to sha1 digests, and add distfile sizes.
2001-04-19 15:00:47 +00:00
agc
fb467f5ac2
+ move the distfile digest/checksum value from files/md5 to distinfo
...
+ move the patch digest/checksum values from files/patch-sum to distinfo
2001-04-17 11:22:34 +00:00
wiz
e6c2b658b4
Oops, uncomment LICENSE.
2001-03-20 12:01:25 +00:00
wiz
f88e4c531b
Initial import of maude, a system for equational and rewriting logic
...
specification/programming.
Package provided by Paolo Torelli in pkg/11280.
Attention: Very restrictive license, to be filled out and returned in
hardcopy before usage.
2001-03-20 11:57:41 +00:00
