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

Format: 3.0 (quilt)
Source: headache
Binary: headache
Architecture: all
Version: 1.03-24b1
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
Checksums-Sha1: 
 099acdc3aff1f7837670288706a56d4ca02399bd 151947 headache_1.03.orig.tar.gz
 e6ddcbe25bcc15e636f96de916643c77d4cb3161 13441 headache_1.03-24b1.debian.tar.gz
Checksums-Sha256: 
 2e5d7bfa54430af19dbea9568ea01f5ca2c04be92058cc7cfd9a6f066b66de0e 151947 headache_1.03.orig.tar.gz
 13b177d0c7c0f56df43ff03ee8d66a2f0dea5709d49f23b21908409a3d4133f1 13441 headache_1.03-24b1.debian.tar.gz
Files: 
 9b17f6d9ff73c54bb1be02717e06ec46 151947 headache_1.03.orig.tar.gz
 62f8236795d275233b6cebd372d00acb 13441 headache_1.03-24b1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCgAGBQJS8p/WAAoJEIxPDyvAFXjJIOUP/0wNgP5BVve5bgDdd88iv8D/
ULg/foE115X/n4ePJgybjOgU/0DmbTiqPsuCVJ1F0TQGVLcBC0+3WXS7Imd/U68+
gK28EIo3l1Y2mohzqMhzaSJtWlrc6OO6SrXBX7XTdVVnk+ObQlJL3kNvxp3AMuic
oFIAsya9O88rV7yzdfANQ7qYUCyR7YAOqI3GLR4UpojHmAfgNZxPiZUj+Z6NMzcW
Z4hEYgQWLdr/Bbyb87FJNRU0Y+qU2NVVpHwXgZYrRqEv8oFOQ4neDNFtkABDX74+
1NYTzHBbr4RWvn6WDgLybAje7h297FIv7J7nZ25lRilIm1OQRluLNlSaWIvnc7M/
fwBAnmRVXUKLa6X5yyt417XpiknsPk6UCVgVssoxhF3Vr0MMIbUVQBET/JMjZwMM
Yoe2PBw5j8rQ7OCAO99Z4FdkhqEAneQiYo2gEbTtJsW1wXzF85mV84CAFjRTk9JM
vQ2Du8puvpGuSXKib3G5ZLtlGIkQuasXgcQNrwxQ0klRMo2QT7UiUwCyjDC56F/Z
9V/27/V5O2S/c6wgrSCNxTFlmwTY4rcWc0v/YOOq9pMbJrQkGnD/CtpbNJLWsu1E
jyz7gKsvhtmGhs34I1MJYh08oQGwvATbl1diwNzgjNdxv+LZUfzcco5R5xFU0Kka
fpR6R3idHV+WsTgB7nRB
=pKXg
-----END PGP SIGNATURE-----