-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: xtla
Version: 1.1-1
Binary: xtla
Maintainer: Milan Zamazal <pdm@debian.org>
Architecture: all
Standards-Version: 3.6.2
Build-Depends-Indep: debhelper (>= 4.0.0), autoconf, emacs21, tla, texinfo
Files: 
 14ca6654acf407243038b0c919fdb781 263519 xtla_1.1.orig.tar.gz
 d912c811aadeba38a13bbffd6cb79049 467 xtla_1.1-1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)

iD8DBQFC3OabkSkk/j3Cm0ERAtvLAKC7mtKvaZNyljFZInjh7V50U1jqvQCfTyQn
ktAxcPlbmM+MCH9Otad7pmE=
=vjHG
-----END PGP SIGNATURE-----