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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20131026-1build4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 86bc0de56e732021def086e058832c5c1364267d 8296 hol-light_20131026-1build4.debian.tar.xz
Checksums-Sha256:
 17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888 3261007 hol-light_20131026.orig.tar.bz2
 e8e0a4196bcde4eef18f6d074aae22d8fa9bb0d6fe049afb6df366f56d922015 8296 hol-light_20131026-1build4.debian.tar.xz
Files:
 cae02c5f4d039426f6769caf9400761f 3261007 hol-light_20131026.orig.tar.bz2
 9f40e48433b0b7084b54530c862c4502 8296 hol-light_20131026-1build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIcBAEBCgAGBQJXXHDSAAoJEFaNMPMhshM9nZwQALRR2tO4J2QQQ+3W5BVLKLcu
NZ8S1/9BIFJSAmHc8xe+VduGMffS+9s/d7jZk3//uETIKoCb9nkCQbuHNJNFYJ2G
xDSc/RYOH9ZYjwYHW7pMo+732XUStjLlzsG/q4MkkgFJFsGlIPyxyU5cu4ahfqKf
wbK5HJdRypJUjLPmTHroGg6HhhNauWK2Nj+SszYFz4FECTXAGP9HtX+hU7grhgxT
yA3rfWOJXGMAcvMzQeVm59E5bdU1fwx9/Y0ImnGwtOsGEcf9dZ6fpETrkP/MKpn4
/0TtG1QEWFKQh5G0MM91/alIWefJWYyTaPIEfa2eVQ1WCbtHCPczL2LSgPvkxftP
gqJWsSf2S5Zysp7FHOwNZByezq9pijQ62LqIDnBaDkN3r8byeUHhIhrhnSmBbWss
Yy0sTcnXibteDwaQOlpHW2anBfZNSTlnxMm893LLoOL7wSDHyfJ+HlQlgRTzans3
TvqeNNEsIfpRa7dcZ9CMIZfaYPc9R9dgupp639HeJ3WHAWrLySasTGGbhfA01WBr
0g4Mi/AgE8X7KMrP9KI119ZKXcHL5P5e2gsdOrN5y03rDGhyx5RXQL68GsOKrY8c
vTNV754GUgyk6fKICzSxi90aKs3ECWP3xStMT/+ArHuwnwzbPVH0C8b7LGBxLDl1
HXIslMWdod+lcBdP6WOh
=ZXo/
-----END PGP SIGNATURE-----