blob: a4d0767d4babe3368aea5d7e7672d2736657dc58 (
plain)
1
2
3
4
5
6
7
8
|
$NetBSD: distinfo,v 1.4 2005/02/24 09:03:09 agc Exp $
SHA1 (maude-src.tar.gz) = 5682993dcb62bba1cd06e8bc21bf908e42dd3ecd
RMD160 (maude-src.tar.gz) = 1c622d07b048c6435a2609fa2ef4e795c01385b3
Size (maude-src.tar.gz) = 1030863 bytes
SHA1 (fm.maude) = db8f8d064956a1e8525b368353c3cae9270360d5
RMD160 (fm.maude) = 1ca2ca8edf6a6f09ce71334c4a8afe5ada572914
Size (fm.maude) = 511212 bytes
|
