$NetBSD: distinfo,v 1.13 2006/06/17 21:41:07 rillig Exp $

SHA1 (tla-1.3.4.tar.gz) = 7ea55d9018ff4c1109952a7ef5c646727c7b5f58
RMD160 (tla-1.3.4.tar.gz) = 5ea22729017caa35cbbfb0bd5ce1068218bc78b7
Size (tla-1.3.4.tar.gz) = 3714355 bytes
SHA1 (patch-aa) = 8ecbf408a7c6dd3389d5746c3667f356fe77a724
SHA1 (patch-ab) = 9dc02ebba8ca0fad49f3ada43ec319233676962a