-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: lhs2tex
Binary: lhs2tex
Architecture: any
Version: 1.19-4
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:  Arjan Oosting <arjan@debian.org>, Erik de Castro Lopo <erikd@mega-nerd.com>,
Homepage: http://people.cs.uu.nl/andres/lhs2tex/
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/lhs2tex
Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Build-Depends: autotools-dev, debhelper (>= 9), ghc (>= 7.6), libghc-regex-compat-dev, tex-common
Package-List:
 lhs2tex deb haskell optional arch=any
Checksums-Sha1:
 f3af73f22868c72dea314f50e782781688324544 658353 lhs2tex_1.19.orig.tar.gz
 3c81b8872ca37f61e1eb14ea783878367934fe45 6544 lhs2tex_1.19-4.debian.tar.xz
Checksums-Sha256:
 24ae0557d95673e0c6d9b0aca829181b734359880dd58802ac154b89f384b00e 658353 lhs2tex_1.19.orig.tar.gz
 64a85964be951acc50e0bab5c6093b69dab29beed97db7b082c5d098c274e449 6544 lhs2tex_1.19-4.debian.tar.xz
Files:
 4414be7f90d7a805bb3fec843b547cfa 658353 lhs2tex_1.19.orig.tar.gz
 4e45b1ee0f5e1695fcf53a9994973c3c 6544 lhs2tex_1.19-4.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Comment: Debian!

iQKOBAEBCgB4BQJYEpd+XxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTioZmIP
/2UDhfbf9n4RoqaghoDn0EDH6+rCOOMSuFbCwX17oDC1L40DTJsIsiFM3OwhX56+
W9T3pscdrkoVpryCKFLvcM5wXCc8nAaRAG6pIgssZRD5PJIlisnFC/J9o/qIR8/1
bnU4KHadbUMkfVsOA2jQaiPadblNVZhi3RI1x89cz4MHoaK8QlTHm95+HgcfAPv9
Mp1KN0ijFlcRRsaA1+005DUVWX3Hbc9Y3wx7QIgDrxAUuV2ncbofqBaUsNiUbK96
7S9d/h1NuHLenvRQqBqtbGU1rcrwsqvLYFXqn2auODjaLmN3Aw9uzXl19phe7AZH
iJ9QRa5FimNjweE1BHUBC+tLQ0C3XnvzB1hDsfWNPIaanzL1EBgL+yiKqSxIBNI9
/30PR5759cLSja2R52TA1TJktstYSaItTqgT/EtWQpAzUonpQ3XJQ9K+VYcVY8g9
KlQwmMiBqDZKOWvgKUbX6rdaQBn8NZkN5IP35lsQbAlptpKlAhENK1yB/9oKoUbp
dq/JKoRInB+caetf2vA/eZB0F9SRwyqw7QgigbcWvv3Mo0oaVVI7vCBid9A9VGlV
xf8/Uap7HAYOHp+52S/zGDbgTAxBGqtS5KL+XxjjrI/nrhAKWy0CV9Jklixzif0G
ReHj7EvK+afeDrNEMMnLwhU10gfEc1iCMp8hmczLiun6
=HrZo
-----END PGP SIGNATURE-----