-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: lhs2tex Version: 1.11-3 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 ea3d6f0fd01605d2acd57cee4fcd86b9 487635 lhs2tex_1.11-3.diff.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGA5yiUALvsZYuOJARAhZSAJ0cXRWMybnojIFm5ZIOrllyzQr+lACcCrz7 QHEf/5xmeEuPxYSlwWjyyVg= =Fpy1 -----END PGP SIGNATURE-----