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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20170109-1
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.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 (>= 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:
 569b1cb1f4a0a3e18243dd37721c7ef4058d64ef 6077715 hol-light_20170109.orig.tar.gz
 723740955594d45e268fe07c85f742bc2409420d 9140 hol-light_20170109-1.debian.tar.xz
Checksums-Sha256:
 88f2d949d7a35ed6d9f14642d21dc9ef5765f1d50f400e31d74c6ee70aa8a2ea 6077715 hol-light_20170109.orig.tar.gz
 6f6ef907863c1744de3b9ef2c53091604a27e3a55d8636c5b632502c273d1e8a 9140 hol-light_20170109-1.debian.tar.xz
Files:
 5b87d7adf25aec8374a8f26b82912dfe 6077715 hol-light_20170109.orig.tar.gz
 6eaa704bd5773348edfdb2da3ec9a174 9140 hol-light_20170109-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlh7W0cACgkQdFxHZtTK
zf9aow//fKyQ/13L13j04+Ubtmf+Jm0Vdi+roIP5Ljk18g6MLvr5S+0uZEl3kH0i
mOQDWNPZHJBj9LGW5zVefAKqVuovgtnKY04CstxgjfRL/ggqJCopWWNbWVwVqMPw
ihXK78BGRHU4vobTkJM0AZV/flSx486W8hhVccTUejIdl3gXnZwBGkmJiASjP8p+
0WL/SG2lO0SEopssr1vT0JqnAeIvqo3W5S1CsTaPVcpKoRvAtorpWTymBfuxLOsu
wGEj0K88cS2agbA35OwvuJ4OirS/JHPjBY2IGEQhH6u/YzYUbX50xZq6JEui3kEq
XNYmYbXO4w91osCqtMZMTgi/PsykQ7j4ECye7QLRR9zjgM6xetcZP2jsL00hSk1Q
Fav3xUPK8gH8LK1bdBxCMgoH81NHgdZbx83jV37HgEbD02gpEYiMPgU8ZA5qcqJD
kbxNCk7tyLSI3feGSo8vlZDoy2BCrPzvfXF5732j1KXppJXqjn/hvWSmerkO+l6B
46bjCUTA7rpkrSulhBdTwOxcgb3Eu1uabsLmaJ7XcyLBHJu/sg8F/iMLC5XFhRwU
W3NFBCokO4rLtvkna0BNpFknjP67FxW/TpTpvrDNt6Me5M6g+4yTzh2Vcq+o3ki3
arAzE3x97nwpEQz4ju04hKMqSzZfTHuQiujvVwpN3hzRb+tnzmQ=
=th2p
-----END PGP SIGNATURE-----