-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20131026-1b2
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
 43c20f1468d2bede99f40fc652ae75a3834df637 8168 hol-light_20131026-1b2.debian.tar.xz
Checksums-Sha256:
 17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888 3261007 hol-light_20131026.orig.tar.bz2
 672c2c7673a7d62489441f9d6905bf2a763f13643057668a9e0ebb1c635bd819 8168 hol-light_20131026-1b2.debian.tar.xz
Files:
 cae02c5f4d039426f6769caf9400761f 3261007 hol-light_20131026.orig.tar.bz2
 ed8396d4bbac6697d4d397a9e4f3ee01 8168 hol-light_20131026-1b2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXZwcEAAoJEKBN28suwKn/BMUQAI6nqe/MQqsL1B7IvsFFSXei
3oK7njPxnMl0vVr39DQVM80ukfaIrGYk7b2V/dgz4ChqzPffvvibMD+YwgiZ/Tst
oFV9izafVJyy7mfNqbtyxMXADuQBD2PVlvax6JonGSlLV0cldNfBVVs5MV63Ky7p
5i9HJNUaOCZyVSEfYEasmvYasKQw8pouph04dtvzPLVeyRMUlt3lFVrEp+IF/WqD
ZswWZdvTWKGBM7eq0+SQ0rEaVK5dbD76OxFCqtHB5pPHkvotusXJxrAmCxhPhMuB
llX0Y8ukNepB3MBClShRZMdiD5i/DwIcVZhv0iQd1J+FNBRaGdm7tKGsViEYbLiG
VEAgVv+GgHuCG4uSiX82jn7TXpC5a2tE5HusM0syaGF9AxskqRNZRx1U9mszjOb4
LusD1SpQYXTJ29RxFvM05gqTgXxCbL8tIXllaKqOJhBzAosIzC/chsVUkf6Tx5yF
k1Ez2yDhcqxp2xUF/JaxhdHMED+33qGMh88nO6T4n3kwhssVnyJ0rDPfbZCRDOY/
pj4p0JpypTrUs0nB5u94QyaQZRxYtDnHYd+Rtqyo/YivkV1+W4Jit7vj053MvYNR
r36Et1m3XxihgdPSvUw0yjik5A1nUkqwDSXK4yyw7BRMtiOcH0RR3R5pZDJp2+1k
Emad2WhbgQyRMqY0orSY
=tYuC
-----END PGP SIGNATURE-----