-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: xtla Version: 1.2.1-1 Binary: xtla Maintainer: Matthieu Moy Architecture: all Standards-Version: 3.7.2 Build-Depends: debhelper (>= 4.0.0) Build-Depends-Indep: autoconf, emacs21, xemacs21, emacs-snapshot, tla, texinfo Files: 856c00ecf1f1ee514cae38ef091da087 263437 xtla_1.2.1.orig.tar.gz a2a2dd25cf75fe29d066c2722dfaad79 20 xtla_1.2.1-1.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.5 (GNU/Linux) iD8DBQFFVjsEkSkk/j3Cm0ERAvAwAJ4ts7d1mCXVDF4S8E4WzMCTAleQYQCeJ8vw xAYrLvYSAV9tkutjeXvqN04= =FoAE -----END PGP SIGNATURE-----