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

Format: 1.0
Source: xtla
Version: 1.2-1
Binary: xtla
Maintainer: Matthieu Moy <Matthieu.Moy@imag.fr>
Architecture: all
Standards-Version: 3.6.2
Build-Depends-Indep: debhelper (>= 4.0.0), autoconf, emacs21, xemacs21, emacs-snapshot, tla, texinfo
Files: 
 3eb9ea3c042f514dbb9ceca0aff0009f 260395 xtla_1.2.orig.tar.gz
 b3c119c0676c1b8181a92e6d27dd51ff 1352 xtla_1.2-1.diff.gz

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

iD8DBQFEGAlTkSkk/j3Cm0ERAtOXAKCFV2Nqc/+LkPfjcmNZwKM2+PGyMwCfe3UG
0Y8O3DXFUSCWQAIwawV6tvQ=
=lOaA
-----END PGP SIGNATURE-----