a0e65e6496
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.
6 lines
257 B
Text
6 lines
257 B
Text
$NetBSD: distinfo,v 1.3 2003/12/31 01:20:35 kristerw Exp $
|
|
|
|
SHA1 (maude-src.tar.gz) = 5682993dcb62bba1cd06e8bc21bf908e42dd3ecd
|
|
Size (maude-src.tar.gz) = 1030863 bytes
|
|
SHA1 (fm.maude) = db8f8d064956a1e8525b368353c3cae9270360d5
|
|
Size (fm.maude) = 511212 bytes
|