4 commits

Author	SHA1	Message	Date
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