-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: headache
Binary: headache
Architecture: all
Version: 1.03-26
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Ralf Treinen <treinen@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Homepage: http://cristal.inria.fr/~simonet/soft/
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/headache.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/headache.git
Build-Depends: cdbs (>= 0.4.23-1.1), debhelper (>= 10), ocaml-nox (>= 3.10.0-8), dh-ocaml (>= 0.9), libextlib-ocaml-dev
Build-Depends-Indep: po-debconf, xsltproc, libxml2-utils, docbook-xsl, docbook-xml
Package-List:
 headache deb devel optional arch=all
Checksums-Sha1:
 099acdc3aff1f7837670288706a56d4ca02399bd 151947 headache_1.03.orig.tar.gz
 0231a4c4156b98fbc10c0c014eff7d739d26b4ba 11864 headache_1.03-26.debian.tar.xz
Checksums-Sha256:
 2e5d7bfa54430af19dbea9568ea01f5ca2c04be92058cc7cfd9a6f066b66de0e 151947 headache_1.03.orig.tar.gz
 ab6fb2c7547e8d1c1305c8318846cfa2f8b4b4d921d8a0891ed9559e839f86c5 11864 headache_1.03-26.debian.tar.xz
Files:
 9b17f6d9ff73c54bb1be02717e06ec46 151947 headache_1.03.orig.tar.gz
 487ec1ec4496d226d8693a049c101627 11864 headache_1.03-26.debian.tar.xz

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

iQIcBAEBCAAGBQJYD6hyAAoJEHRcR2bUys3/XEkP/26Qy3Reg3Fay0yAHCa8kfQl
VaLLP/JZYBUgkVcmcejszhBs4QuGqvH9rrCsB1pD6fhsmWnEWukeZew/NE/lGIuA
MnZdsL2wqp2/B5ekM0g/RZWdqYq7n+NdE55yeBW+9cvLMe6l6hd2F0LeV5G3v4qs
riGI4a+Vfv8u2KTMvdAyLudN+gC+ynT7Vpw79xytKI7xAb0pWogDHhu0jczLUuC4
hgJtl5RAv/4t4Xp835vEqpgzPI9QbZifyM7/GLUS0sniNGDFdN8T6avOcYaJAxTg
0B5Oz1lpKf6xxgDem+PGoYKWp2xdTTlE8OubPOP2gv2pbguoAuZlUgEIncRZIetx
ZZh5R2pVZpXkOfHOkHRpizsSIYD2heqW0h7n6FrroslgnF4S4dSnTiOHbCBEIDnX
ik1/hnw8Gt4/7hae9RkRu1kXAU3jypY/xFggGUQxheBPFuMB5FMvnZ4R/rMHzBzm
rPwfrlVi/yqUfP5B32o7n3hs+8z7ZhylhKNnIF0yTTCHNc+U+fmWNFxP5Ki+DmSq
G6ossQ41WWnZaDFvDeA+d2tzEI1A9aHvrwGj/sKWG/DqfxtvqVoycBXWcihid0ni
GbJNxLzJCRZs7awZlmcaY70p2rBlh1UpU+MbuX3whZGKg4NqCr02cv1LpoW6BKJU
KHWwp7JxtRaurEO0DKDG
=uqDP
-----END PGP SIGNATURE-----