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

Format: 3.0 (quilt)
Source: headache
Binary: headache
Architecture: all
Version: 1.03-25
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.4
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/headache.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/headache.git
Build-Depends: cdbs (>= 0.4.23-1.1), debhelper (>= 5), 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
 5c9c1dd39f718fc77d77d50471db43c89eab0b62 11812 headache_1.03-25.debian.tar.xz
Checksums-Sha256:
 2e5d7bfa54430af19dbea9568ea01f5ca2c04be92058cc7cfd9a6f066b66de0e 151947 headache_1.03.orig.tar.gz
 5dd281ae3e958f7d37f7e9cd88304a765b63e36dc444dee2c3c7fa0c3ba9073f 11812 headache_1.03-25.debian.tar.xz
Files:
 9b17f6d9ff73c54bb1be02717e06ec46 151947 headache_1.03.orig.tar.gz
 6ecbd503b05822ce892e4311cc2a0c6e 11812 headache_1.03-25.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWGU6KAAoJEDO+GgqMLtj/o34P+QH0AE0wJcmBoVfbg/jo+DEM
ZDMX+EZ/j+4Vukfurqv0TQZ83qeKSpTQsgoyVKa+yNmqd+kW7w+m+zPE2FEIE8Cs
8lanp0UvcjaPBvyc5+/Do1xEzSJ2xYUndO9r5Koob5iT0zwjfayQ6KGMDZVMlNpk
i36g3NrlM4TpNkuCRjR+m6I4Ty2kEktteiKccv2TrQ2JwuGDK1XBLVtS2VjMwe8B
l6vHChKfxjgakXRXT1smYryVkcoknuqSExWniP5qw92YZb3AjKMAPutiG32FGVpP
MQC5OI2+zOWN/98CmkUxKSVsai0fUhrHr284VAf6MrdyJRVoXSSrQf0Kl4Q3ojBq
M1jouePLXeIOg4vy7PMGn6K3JsOzqx4vOnVyQDQHcIQDsyV16NxH3PClLVj6vV1v
11mnx8GVSiQwtg9LMybFE2fY1eFyQW9TP6bjGkrP2Vbcs7kOaj5Xk+EPC6t5268x
4CFKY0Tt+YzNR7E2evErqcNY3g0bHLkqWky6AaTr6Xgi2LnLuSsjbdCLxLDv7qtE
OJDbNWHHBVy8r0nMyqaqPAdao4jN6CK2zbvW4mjdgDExr1dTTH4ciQu2L5YsPO/9
IdFEDPVMq+SpPBr+U2Q5MQyP3uCET5DhwFU5I2Ev+FD+j7/zgWAGEd45RB9ZXHa3
2EGWku9I9Twns/YYgvxg
=jyZR
-----END PGP SIGNATURE-----