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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20190729-2build1
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: 4.4.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/hol-light
Vcs-Git: https://salsa.debian.org/ocaml-team/hol-light.git
Build-Depends: camlp5 (>= 7.01), ocaml-base-nox, dh-ocaml (>= 0.9~), debhelper (>= 10.0.0)
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 78a00734637a1cb7312c4c3cf71f7efca559dee1 6959546 hol-light_20190729.orig.tar.gz
 ca91776e4c6b610395bca0a86d54add87a8a444a 10196 hol-light_20190729-2build1.debian.tar.xz
Checksums-Sha256:
 88cfcdd1430d963b9fc63960829e1a5f7c08df98ed92b3765cff51691dbfe75a 6959546 hol-light_20190729.orig.tar.gz
 9480f2f3625ddc840a78146d4ae62a18d3a32f00959f00b5693048509446ab82 10196 hol-light_20190729-2build1.debian.tar.xz
Files:
 9a8813a63d883e10c5b52c36b93ee9b0 6959546 hol-light_20190729.orig.tar.gz
 9e932b7499bc32d95b488d0d2f4960fc 10196 hol-light_20190729-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1HzDkACgkQ808JdE6f
Xdnn8g/+Ixl0knGUS/5sRyyVM3fzmeHIPheB8zxe/pBIC5nAR/EA13qr/amtUvVk
a+Otq07rTrZjAVJIE9ELhv6exZd5hFjwZGBIIJ1mA6BzR1lZO1Yli0c7xfRSVe2e
4kY055jLYpK3Yp1RMiNFroYj6I4V8H564r9+f9eX4exKbXpQSn7q/OllrMg+BDsh
/caB6XGbB/LCALBSDT/Ro1SI5KuHHZOS6/QB1oPmTVs/S8l9uFn/lxX11w2mdw5u
37ToBRb5Jvq2MI0SVxf/McHrxLNmyfQhaim2ee8domzI9lhe2OjlHIxZ1pnGu1Ih
vSHoy48zwOXaCwXDVVhgabjkw4cP6CjlHqUl3aqa51erOLh/Bam57Q0xMxeC9Sjk
ybB14fw/t+gLBUo+aROC5/5ZP/qGZNbgkMnahz/dQOF+k7TpfRGD0d96cPG4DQap
R5246jALoNkhdn1pg92XsAHd6BLgCisuOHTY1HeJH8y5pRQGTzFv+55qLVWCW5Po
STUz1dAB5FcPT+/Buu2t/t2TwNV9yFuiDw9TPptb8flTzMJvnmZmCLBRCMZyjuCw
X2XFlr+2aSOqZ+4+w4NETrCuQwqTm1ardz4CnriMRTn5IeKbRhHfckyLL/yjlkyX
P/uCuXla4XMjMUxWqPKuWRGzDBzseKN6GOpmA9wKuBNiRHCDNO8=
=SR23
-----END PGP SIGNATURE-----