-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20131026-1build2
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.4
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/hol-light.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/hol-light.git
Build-Depends: camlp5 (>= 6.0.7), ocaml-base-nox, dh-ocaml (>= 0.9~), debhelper (>= 9.0.0)
Package-List:
 hol-light deb math extra arch=any
Checksums-Sha1:
 7673e096a7514a93b0a6a654cb2a94d6d717d66c 3261007 hol-light_20131026.orig.tar.bz2
 5ce9b02f14cac2923cdcb31b5a46871655682fd3 8160 hol-light_20131026-1build2.debian.tar.xz
Checksums-Sha256:
 17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888 3261007 hol-light_20131026.orig.tar.bz2
 b7299afdccc5ec3aeb179f4132c48f57d7d531dc0ee7bc6a6f28c5efc26df6c5 8160 hol-light_20131026-1build2.debian.tar.xz
Files:
 cae02c5f4d039426f6769caf9400761f 3261007 hol-light_20131026.orig.tar.bz2
 f558cb030cee4cfcf3b839a58cc0f365 8160 hol-light_20131026-1build2.debian.tar.xz

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

iQEcBAEBAgAGBQJWONCBAAoJEAIZyhnQNDMMG9wH/3SwKRnrR/5+YjsRvdaX8eMx
v0aeanp8+8cpRHdmtcuHNeeCQpUcgWqpz1l/2kFcORaSXTUrqsDhBgFeiNVA7qYT
QE3xz/fXuDtOIeAwbKKAO6Oa5lYbJD/o6WULoaBN/C91JEdUrofjKgjAu+k7/AGE
ezeWr2fNCrJKo7EGH48b/NndzfG2U6OzXR/2eUb7brHnItcunxk5n0NCzqfCRnxo
hdpy4cL95kJ1xbDy6UOvcP+KES1n6N+ctXCbXQwud25zX3XJSh2sGDpjR/Id/t8d
cQT5lNyCLxJdrglDNaQFLWO9DVLLSlsEjU4Y6cRb6i0EaJiTxpl5vimHTggfgt0=
=rlfC
-----END PGP SIGNATURE-----