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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20120602-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Hendrik Tews <hendrik@askra.de>
Homepage: http://www.cl.cam.ac.uk/~jrh13/hol-light/
Standards-Version: 3.9.3
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/hol-light.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git
Build-Depends: camlp5 (>= 6.0.4), ocaml-base-nox, dh-ocaml (>= 0.9~), debhelper (>= 9.0.0)
Package-List: 
 hol-light deb math optional
Checksums-Sha1: 
 636ebfe299c67d65fc39980622af786f52d0d321 3831362 hol-light_20120602.orig.tar.gz
 6edb7e4156679c8292e984b3a811ffb51b51e0ac 7995 hol-light_20120602-1.debian.tar.gz
Checksums-Sha256: 
 fd333f2f8fe0a82d181e0e8e61b0cc5ec68a622cb55003e6daa9703b74bc5f21 3831362 hol-light_20120602.orig.tar.gz
 d4004c08d6dbc2a034e73eea92cfc0457116d75f335ee0914303fecaed887a31 7995 hol-light_20120602-1.debian.tar.gz
Files: 
 9dfb0e9309f7d60fba21d96fcdf026c9 3831362 hol-light_20120602.orig.tar.gz
 2ff3844be749776e96f9113383a31165 7995 hol-light_20120602-1.debian.tar.gz

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

iQIcBAEBCgAGBQJP1tuBAAoJEHhT2k1JiBrT5/8QAI4JIIZs2J8yTeBo0xYl1+Aw
vofd3xAbzXOLSIdIMcpxaymwRmCLDsuBKW2JUrmibEWqmylAEdddtNhjEWEAsITd
jBp3Le7p47HMgkrKiVkgyenV8TZn4+bwMFvJSjXij1t/nKCT0jR9DvDXut28qx23
cRf8zdlGFv6NY2q98ZQY4AvLj3qzwjAzat4IY2AQ4m2HnfcT6ZL09RKr2i9o9GRe
AdrKpL5USwxclL69HNvnDPfX1xU2wX5OU7cv2xlmXZ4fzoN7GUo0jhAw0P/td8vT
JAIr1iVB2cTjjQFbg9p+l1zpOr0fqjmgVdWJtOrtQD4DX603olf12EqydEpcxt7O
IkGTgl8UAh89d+bBOM8ubwX/GJ4gJnkLZvVLSciqefCxJVVbL1d8VeuGNQoVWAZJ
4M/eW+XvSWgcnqgC/Tj/VmLEbOpS+qnqm+ZZE61lCWtCdoMcfieqaSBSnmvmhwoG
xMjKqg5Rmblfmjsc6d5cRYK3XIA5pabv2IWMU6YXSJH8jyjaWUDF8OsbUDFCC+Te
huIZqvrguLKhtYF6hXJr8HZ/GrI+T5DtVayBZxy5GBwZDQ1pS/w2o+X4zby8wkFA
sHIXAI2Mq2IcY+vqvK+VOPPW5fjAQIwt/rdiRkXLHvmPfwXqWzFwYkb+RsxsWobd
TgflVYSXmIdTLycLfREd
=dd+/
-----END PGP SIGNATURE-----