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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20131026-1b1
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
 33c1a45025499dfceb797bf2f8f3e5220063c350 8687 hol-light_20131026-1b1.debian.tar.gz
Checksums-Sha256: 
 17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888 3261007 hol-light_20131026.orig.tar.bz2
 41f0c12995f38f357a44479d090ee8778946f491f4ed6801acbee3ea14f74160 8687 hol-light_20131026-1b1.debian.tar.gz
Files: 
 cae02c5f4d039426f6769caf9400761f 3261007 hol-light_20131026.orig.tar.bz2
 4d4de94cd81e39d320583050aacde04b 8687 hol-light_20131026-1b1.debian.tar.gz

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

iQIcBAEBCgAGBQJS8qG5AAoJEIxPDyvAFXjJz3AP/j8urUcRgE3tpRiLftP3MKTG
tzzWt8y1Ezu6orKXy5wKiVhZ4rxcke4kC/CCVqGyfnoAJvZyx9308EqXOI6SU0nZ
e8D5zerQkBy8KfxdyfwEBjOmoZ4EyTbB73foscyQiZ2NqlQiUBAfwfe2fi1d5kHv
KCLyBtVXrxtWJplmg0sMcOtL6ss1ibySLLy4vS0XOHytQYFRijgtsy6FHCa7SCMU
ur2uOaUCaRI88TTTKlT6npT7LHdkMB33TRXrcCzLjyRqqC00wtJ2R0ux1XHc2IRe
WgFSUeqO78xbm0JyCx/97OqQMneThcZ0gnGR790Pn6rMvZq46VWBg+aXtmimWEQu
WPBVjpcixxyUI4EKMhrdy5Zk/RwUkulHMH+zO/lraa7nLz4GwQMk9F73/xl0Qmn8
aH4ysD2JmAvjU3Bydrm4TGEDJ2kvm0G+tlUdafU8hB+5SzxKWLWxpqQlyRF2ExQT
S9jtkIk3wGfK0xgyqoPyBDS3+hJbPhTgOvMHSMmpAroK+ExwwlIEA+7rju0LxVeK
vwtu7GIQP9GtfW5Fq2nCOl3Y1A60prbNFv646S8YcVbVe9Nk9a1B+mWKLV+86xuH
mpMSeBsLCFiEHZG8gJfz7bgWIKiEkzyFP6HIco2q1K5rcMTcKiyAy/g+wLQZHHhD
aw95kTGzoB1gL0TgMtEJ
=cksy
-----END PGP SIGNATURE-----