pkgsrc/lang/maude/distinfo

$NetBSD: distinfo,v 1.9 2011/04/19 19:18:40 asau Exp $

SHA1 (Maude-2.6.tar.gz) = 3f1ec2f39a22942bb096102d1d8d6eed4510483e
RMD160 (Maude-2.6.tar.gz) = a9387701016e04ba4a256c3db8c9f10195147183
Size (Maude-2.6.tar.gz) = 1600026 bytes
SHA1 (patch-ab) = ff1caa60e4b57dd6a847e28d25efa9be8474f15a
SHA1 (patch-ac) = d77e8e817cb33c2594eacfa0cb44b20b63e71b8f
Update Maude to version 2.6 This release incorporates mostly optimizations and bug fixes. Read bundled NEWS for more details. 2011-04-19 21:18:40 +02:00			$NetBSD: distinfo,v 1.9 2011/04/19 19:18:40 asau Exp $
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 12:57:41 +01:00
Update Maude to version 2.6 This release incorporates mostly optimizations and bug fixes. Read bundled NEWS for more details. 2011-04-19 21:18:40 +02:00			`SHA1 (Maude-2.6.tar.gz) = 3f1ec2f39a22942bb096102d1d8d6eed4510483e`
			`RMD160 (Maude-2.6.tar.gz) = a9387701016e04ba4a256c3db8c9f10195147183`
			`Size (Maude-2.6.tar.gz) = 1600026 bytes`
Add some missing includes. Fix C++ for GCC 3.4+. 2006-05-02 15:31:55 +02:00			`SHA1 (patch-ab) = ff1caa60e4b57dd6a847e28d25efa9be8474f15a`
			`SHA1 (patch-ac) = d77e8e817cb33c2594eacfa0cb44b20b63e71b8f`