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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20170706-0ubuntu4
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.8
Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/hol-light.git
Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/hol-light.git
Build-Depends: camlp5 (>= 7.01), ocaml-base-nox, dh-ocaml (>= 0.9~), debhelper (>= 9.0.0)
Package-List:
 hol-light deb math extra arch=any
Checksums-Sha1:
 abed2ed123a0e603015b234e46618d95c0ec3f64 6207499 hol-light_20170706.orig.tar.gz
 1f514388dccd12913f5bdc9aebe2081ef4854a9a 9748 hol-light_20170706-0ubuntu4.debian.tar.xz
Checksums-Sha256:
 3c5284b6272600673a0dd4edb74febf0413fb6b02fee53dd73d38c4a039d5175 6207499 hol-light_20170706.orig.tar.gz
 c535d398e6cc5bab57279a7c62017d476026e2c4a03f85bd9f21bddc37835b6f 9748 hol-light_20170706-0ubuntu4.debian.tar.xz
Files:
 fdea981048c968e64f986525eaed2106 6207499 hol-light_20170706.orig.tar.gz
 7c8d29bc4ff1c3b67531c8f6c945cb3e 9748 hol-light_20170706-0ubuntu4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJZ84+XAAoJEPNPCXROn13Z7rQP+wapqClP8HLMQSH4A1rde7Tc
7YihucGS5exsDEp8TrSdKOVyKkPKgAmutAc2zUIED9SO3CS3Xx4KqCLyWTmzxwhN
h7riBsHqKTExvJx4oZ6RjSDG37gqWX2CXc+XReH+PDAmv7W31AJYvXBkDqF+UBIv
09DOBZDECwrWJigANJfP0nsHtRHRWXSN6zypeBvs2K4l9RVvJUWHY0N5kMMeYl55
/AuHdWxhOL26vpuyL7Z48VbdnapvfFnFmM2lsi+d9XHKF4PTg1W0Uh1+0bDGFcxv
SAPWHgB2oBmgtwU72tOSyqXKFPbSlQeRTXonc+8BhCdSDrd3PqNvW7T+CubYpXXK
CLQtWl4lg4ShcPUqjceSIfTEW7oLVOfuzu1L9Sf2ToRQhRVq72xUHFp3mav4AZlr
3NnmnlgBTS8iAJ8udGYdf8mcQqF42AKa/k/dUoesaiQE1IudbxLZPmlO+d5FYa81
QZ2fs1aE88IDJ4uLghjbvGtj4wgVp05PoJZCEK9tSKmPh3rzeoHcdS2hXKxclvDF
uxiutPSfcpqWqbzGw8EU/7nIJDI7QhIjpcZAJG8sz8EqRjGgd1YeIXJ8S0dq+pa1
m+fHlra0Wv44CZ2+/XRxyoZWcSp3j7cx2wfqq1etC6yNv1wxJIPJb4wo80wZFV1+
p8tq94HJhEdY8n8y+/AJ
=Bmwy
-----END PGP SIGNATURE-----