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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20190729-4build6
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: 4.4.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/hol-light
Vcs-Git: https://salsa.debian.org/ocaml-team/hol-light.git
Build-Depends: debhelper-compat (= 12), camlp5 (>= 7.11), ocaml-base-nox, libnum-ocaml-dev, dh-ocaml
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 78a00734637a1cb7312c4c3cf71f7efca559dee1 6959546 hol-light_20190729.orig.tar.gz
 aff0a8e407127b6ba2dccca049f85741e90508d8 11380 hol-light_20190729-4build6.debian.tar.xz
Checksums-Sha256:
 88cfcdd1430d963b9fc63960829e1a5f7c08df98ed92b3765cff51691dbfe75a 6959546 hol-light_20190729.orig.tar.gz
 d79e15b6afe01ec70096d508e2e0a0809315f48c1f61503dba41127b7dd1b19b 11380 hol-light_20190729-4build6.debian.tar.xz
Files:
 9a8813a63d883e10c5b52c36b93ee9b0 6959546 hol-light_20190729.orig.tar.gz
 eef8029209e613fe7f69c9cd8c6d9432 11380 hol-light_20190729-4build6.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmHvq2gQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9Sv7D/9OniVyvNS277FtRWT2ZH/IrQVde1tgHMB4
XNfCS9RL6EpYNDNHIGZ9jXDeLoqI8V+fNPcQHY8hDqatG/z5z5fuKUsIk7Rir9ME
PLeSoCt8GlniKRMlAhHLgSHImXVY3+Gl9tvf0cxfuFiXHkXDMe1neCpAdFIxg7gy
rrza8+KkpLstDNinQt3t27Pet3X1Y1JxCCtpwiUgXxY0prTXao7rMi8Tx+xkeieD
fELEds7KWURO/uviy5B1wRGYTaqgYjGPDdG7o/HhxVcGGWO/MwXz6nXO48n6UrBZ
QxxcBiijgqH5YeWLUnFc3DTTrABWOSbMKYSHYMBbb2oFmpS2cmWt3B3hhQUGuXJv
+RXhuiU5WXfdybNQg/uqlPOHsagL7MkfuFMgDu98Q/drYIevfwrafjAmJKxjogGk
DLn5e69fV6bQnRTzFCW/jJpAgUa3pAWLtXRRKs+IQAju/0uIxgJYPhyqoD20t6g+
+0jckyTlG5QFZMGXIgpZXIofXLux38ntOUN97/sCC/uH8E2LHwqp3oICUpv5BFqr
Q3QeWEPfFlF5hQdohxM3VYQdLWK4kspQb/dFS7hNI8FxOkTe54vaXud0HiEGhEEB
xhLN+DX0scpheV642VSmNEfrs7+0Yr3vE7CGvb3WzDdBPmNnc+G7Wd3LFPeTiRuC
Y7IR9doXBw==
=fALy
-----END PGP SIGNATURE-----