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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20131026-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.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
Checksums-Sha1: 
 7673e096a7514a93b0a6a654cb2a94d6d717d66c 3261007 hol-light_20131026.orig.tar.bz2
 cb0bdb22c11c0396b9507fa3902497284c6c1a28 8482 hol-light_20131026-1.debian.tar.gz
Checksums-Sha256: 
 17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888 3261007 hol-light_20131026.orig.tar.bz2
 da68764a28068477ea73bb00cb2f684888a44bd874e99929d7ebb5306c92eca8 8482 hol-light_20131026-1.debian.tar.gz
Files: 
 cae02c5f4d039426f6769caf9400761f 3261007 hol-light_20131026.orig.tar.bz2
 9f22951b853bf90883bcaa8819eb6cef 8482 hol-light_20131026-1.debian.tar.gz

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

iQIcBAEBCgAGBQJSjpIVAAoJEHhT2k1JiBrTUVkP/jVH1G21jTe84pFR5zjOEuP1
lNRa0NWb+xdoCrtRGxPuUnQwYtsogtRmbjJO96iQIvX0dUh3poo94b/sS6SBxhn+
6vLJOTfDbS+oT0KvborTm2lTvk/cU8rNNkgPxe2IO9/FYzkRWcng0Ikbi+YEVQX3
6accKTB/J0AG0PnlWEuR6v3F1DdqdYWiKsPWi3T4hGna6wv6swAzQgOYcmUQZNoZ
oBcGOz5iOH1aDXCBOBnA+jE8WWheRcQb/+kwjo/tXrY2ecailYlEa/I1ZTkdhOwz
lidhk087hc1lYq51q6nXDlakxU3/5oGr+28CYzbWaX1kYnWEYJ+Hvfh2zLUfo48I
8F7k74vtwUHdojc8nQEXx8fld3lw9CH73EPxY6feXbUIYpCQMCL/ZqJDbklJZmSr
xIFq+DVUV9EJxlQE4UOHpiqAzIEn25aDXVTZTT7aUxc5IVveq3cL1TEgIJdyniSC
usesKn+JsyPT+4PoxcN+iKuiJjrEUoAR3zdQNeBHCLntPfKaZw4j0sPvF8W506yn
BtUHzvxYiU13KNaUteEozXK72EoZ7iq19BcqpbM1Cf0JmcpGJ42Uq4efi0JvvXgX
K+cmDxcjPcTvWFy4Bru3tJEKqvrzuUJBbTgGIlmVKZtsKNJtyO2Ldbl7qpeDtxWg
YxLTtKEsCYVIHQqqPKjO
=Ph+f
-----END PGP SIGNATURE-----