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

Format: 1.0
Source: lhs2tex
Version: 1.12-3
Binary: lhs2tex
Maintainer: Arjan Oosting <arjan@debian.org>
Architecture: any
Standards-Version: 3.7.2
Build-Depends: autotools-dev, debhelper (>= 5.0.0), ghc6 (>= 6.2)
Vcs-Browser: https://moonshine.dnsalias.org/wsvn/arjan-public/debian/lhs2tex
Vcs-Svn: https://moonshine.dnsalias.org/svn/arjan-public/debian/lhs2tex
Files: 
 c824892803b0ffdaf02f077f2dfc90ee 595839 lhs2tex_1.12.orig.tar.gz
 e251a50b74e745ebb14b8512a98960b7 9574 lhs2tex_1.12-3.diff.gz

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

iD8DBQFGHW6NUALvsZYuOJARAtPFAKDGLAO0KSXB2lDsMgWY9A0EZSB1QgCgst0X
vsQAhJW4cT5lq98wrYuv+DU=
=PQdR
-----END PGP SIGNATURE-----