-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: lhs2tex Version: 1.11-2 Binary: lhs2tex Maintainer: Arjan Oosting Architecture: any Standards-Version: 3.7.2 Build-Depends: autotools-dev, debhelper (>= 4.0.0), ghc6 (>= 6.2) Vcs-Svn: https://moonshine.dnsalias.org/svn/arjan-public/debian/lhs2tex Files: 91934eca6c0d6aed9ffa18a8ad33a56c 598059 lhs2tex_1.11.orig.tar.gz cdf4f8489996b7911055a3dda92160a3 487491 lhs2tex_1.11-2.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.5 (GNU/Linux) iD8DBQFFOOeyUALvsZYuOJARAoSdAKCTnExH9q7LUnS/UGW8IP7rBZAl7wCeIEaa X0SwXX3GE43daeuI/Zg84rM= =LVw7 -----END PGP SIGNATURE-----