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

Format: 3.0 (quilt)
Source: headache
Binary: headache
Architecture: any
Version: 1.08-2build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Homepage: https://github.com/Frama-C/headache
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/headache
Vcs-Git: https://salsa.debian.org/ocaml-team/headache.git
Testsuite: autopkgtest
Build-Depends: po-debconf, xsltproc, libxml2-utils, docbook-xsl, docbook-xml, debhelper-compat (= 13), ocaml, dh-ocaml (>= 1.2), ocaml-dune, libcamomile-ocaml-dev (>= 2.0.0)
Package-List:
 headache deb devel optional arch=any
Checksums-Sha1:
 98e114b961ac2e515ba3622f2d2150454c463f40 187152 headache_1.08.orig.tar.gz
 e3104b6b12f27d004d0c487390dda86e823729c7 8612 headache_1.08-2build1.debian.tar.xz
Checksums-Sha256:
 3e1b3efd11afd83b01c86f33121806c9b1432645a5a14240754725e92d28aa52 187152 headache_1.08.orig.tar.gz
 8b34e1df2ad710dc281549a1a96dc273a5ce4a92e9b84c95c6a1312a74683653 8612 headache_1.08-2build1.debian.tar.xz
Files:
 4bffcea7909712c57b2ba5c681d1c050 187152 headache_1.08.orig.tar.gz
 d85a0990946c825b0832ead9a946d3bb 8612 headache_1.08-2build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmlxJbMACgkQr8/sjmac
4cL7SA/+JRMHWOUnP55VDzNp+aKeuPRpasDvFVlRtMc7Gf1Y08lznXUeXXWziuU7
kjVTkSmjH71gkTcF8GMvJ7Ag/HkaGf7WDKyCFs4S5KBxKHzN56G3I1LZ/rpPEwig
nvL908Vb7eCJ9JG0yD08PYLd7j9zz3mYJiOlr4nlw8td/W8A8sJNBDiKyoumBb5e
WVbzI2WGVUmUQDeEIWjCndQPKWefpjwrN3TA+0VJ05JlucCMz1DeLKeXtSEQtrHn
QvcHrLJ19xR/GGK45WFaHkWqt91qiIfW3uUKU8HsHECmfOxPwSKRnwUB0JJDl1ow
KfcUDeGQM64bUyubfsYuqJd1Csjr47LtyPHHDc/uO7FFZGQGNgipxtx+IUNeVBO6
Y+g7+rxXaMaMcTXwtKxXJL7BuUafoNnaFUmN0KI0kXtl7DqVlKxqDAjfwnR144ii
qKcMbGaKr1b66ML/f9znSZN14Rr3h2tQizZu8MR4OkB+v4RcvpUPJTT2PuQ4V9Lk
exPOkr5cP/PXBHKWS0YIlAHGYCxrodyyR/cG16+CWUuHKvpCcu5CS/6DAyE3NpHx
MGNFTECtIrDHifj9JInUIWJiE7YrSEVpgke1zGwubd1MLgCdVSa6z0AcJ25KdU8z
qbl92r117M9vMWxEmTRmRqxZLzjX16fYwKkQeBDWvoXZGY4G2xg=
=Dcf3
-----END PGP SIGNATURE-----