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

Format: 3.0 (quilt)
Source: lhs2tex
Binary: lhs2tex
Architecture: any
Version: 1.20-1
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: https://github.com/kosmikus/lhs2tex
Standards-Version: 4.1.4
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/lhs2tex
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/lhs2tex]
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:
 f6e5b922a5607aa9334f893fd8fc11d75d4309b3 674326 lhs2tex_1.20.orig.tar.gz
 f5493ef76218abce47c2e9105143d058c315b736 6748 lhs2tex_1.20-1.debian.tar.xz
Checksums-Sha256:
 ae851e7f7d25ff822e1fec2f48aec7802d62e06458096de28069201562dfb03a 674326 lhs2tex_1.20.orig.tar.gz
 28aa09ec96e1cd5cc0c10c25d108449fd2cef6e2a8efe95a4cde9784849fa578 6748 lhs2tex_1.20-1.debian.tar.xz
Files:
 538c5815c60dea32615e21c1c9dab7fa 674326 lhs2tex_1.20.orig.tar.gz
 fecdd915397a1cbf0def44141680f453 6748 lhs2tex_1.20-1.debian.tar.xz

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

iQKlBAEBCgCPFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAls8NrxfFIAAAAAALgAo
aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDc1
ODFFQzg3NDA1M0U2QzgwNzc5MUI5QjU1OTIzMzFFMTk5RDM4QTgRHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKjklA//duPPMmuYMFgrJgOxGwqWNdBXz78kxg12
bEoOHyiqfJOTuqaD6+i4Ql6CefKizlN4x1xk5aa+YGnuWkY78rOlypcAqgQZrWUV
RFr47Sv57PU+QvoR8TNUxpJy2mX35ZfT9LUz9YOMwKXHtOAQs+g6HBV7mOF4pd9K
ql2R7lP+8RmhwdpDMoS93Gg5tnoIVG100LhY7q91Bd3aSzzlJETjGzHo8nimnRiU
/tNSA85clmq/kuT/rvPGyGDV9O1GfvjZ/s2f4orHDZrPiaq6x6/6/L3wIGhV4rQW
LI8Ub311ua14ifeXi1CyWbykgLEeKcvZEGZPfYuiCwkiGohxcxRDdgOvMkYZ4GU+
dUp1jCajo64KZ9bDMzy+7qCxRV+YmggTPoE9nmOomeDhbmlu3MDzYScNPfXMbT1T
u6Jg7FUDrgYurHtvpVzDEkUqZYZYVozrTmlZqn8jBv0FS6kRy4VqQHTocICBj8xL
53D39QWJ8oKIzSLoSZZSiRH+PCeuKlZuImC8H8TJQQWgSOx1AQIuGr1O/MZXuMM3
1HsYzxb1Ab5yrk8YWOk6zuHQT9J/02pe6+EXBEtfSjwrowSTBrVqPp0IJPDxtEdU
qh+/8yazHtaoz6Nl6ADIfYVjIv/67QwhSNHrPiOKKc8n0EUG/UhaJilA0Bj6lVuK
BckTJjRcNrw=
=IuRp
-----END PGP SIGNATURE-----