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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20170706-0ubuntu3
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
 42dafe73a169f6d35c94f4906fb059eef4794034 9676 hol-light_20170706-0ubuntu3.debian.tar.xz
Checksums-Sha256:
 3c5284b6272600673a0dd4edb74febf0413fb6b02fee53dd73d38c4a039d5175 6207499 hol-light_20170706.orig.tar.gz
 7ef86a561154dfbadf10fb5c11358e39490dd314b74a22aac8045b4ed853364d 9676 hol-light_20170706-0ubuntu3.debian.tar.xz
Files:
 fdea981048c968e64f986525eaed2106 6207499 hol-light_20170706.orig.tar.gz
 b78e5a431f1ff5fc5e2772d571efbe68 9676 hol-light_20170706-0ubuntu3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQEuBAEBCAAYBQJZgrdoERxsb2dhbkB1YnVudHUuY29tAAoJEATn8ULx7RNFpDcH
+QH006LheVC4cWmgznK6fcYnMlnn90w/E/4WNsmBvDRXlSl17WLv0yHOhFkxqXhR
KGfMXeOo4uUeY2kpuhTr7xgSN6uBlF3DRNkx6sDLhfhsj68QQ0DUao8Axxj/zcJP
oXY3XpRGAaTZIK61m8C0Yum41lqZto4jNLNn8k5Z+9uGWkuutJKtwxO0dzM/HW1m
1VriGXuY8MQgT+ErKHAkebQgKp1hypWDphvRABY74KNMN7/7cj849LlPtirAncrH
ZiNDvMiH6JH8GV5LDdQvZRkv/TFVCKwBHXiKBeZp0Z8MFVGU8CWpytMAzlaWwJh5
DJspUMy8E7TNeFAkv/d+EDQ=
=h1Kh
-----END PGP SIGNATURE-----