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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20190729-4build4
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
 d571a05da59424f77c5e3b465bc083c39c87d760 11328 hol-light_20190729-4build4.debian.tar.xz
Checksums-Sha256:
 88cfcdd1430d963b9fc63960829e1a5f7c08df98ed92b3765cff51691dbfe75a 6959546 hol-light_20190729.orig.tar.gz
 62ee6a7ebfc0079be603bd2e6b9eb144279391aa19bffd7c8db86436a8728686 11328 hol-light_20190729-4build4.debian.tar.xz
Files:
 9a8813a63d883e10c5b52c36b93ee9b0 6959546 hol-light_20190729.orig.tar.gz
 a404b41f4b7cd4553aeb893c777e53fc 11328 hol-light_20190729-4build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl+gJz4QHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9RgzEACzuM4LHg7G0wv95Acb6cw+pDj5xn2CO03a
mJV+B0+Aoi7B+m3U10Y89EViNTkM2DlsPZFXNqERvQbRWo3oE7qEKDh1JJVDEqec
EVja7UEmiD+S2Ryki4aZ4YLlMzno2Ymbz4eQHZMFejZx9QRFBuWtI6oezMwl2jS4
QBjANCKCgZuddYDz2W4Bw3XVwJ8P9O26chmsctN33Jp1mX5ep509cc4fWWvqtFwI
CgGKeenbB8XcWuCRmCzymI/Hv0yOy9l5xGAuiis2C3i1dyHUyr3pQ+Nef1MIc2Z7
RqA9XrMo2rmkTpezTMzEaBFTVRDiHn1SBLheFbvcAZ7YWFflj0m8UpE2JSkTqjAc
dDi3coAN4exky+q4NgQXJts2+cWrVDVH2tl0Fk1YyEtHlQqERBGCwVY5w5ot6I6y
pyUMf4d44InbGUp34D/WgbI3enUP3Qkc+Q5K+xPbpCTMP42/8fl5at0E8CxYsf1I
WN+hnuln0CfmWWW74GvpqVRJDn3rN6kVDrT2Hbvs4CeViIr+9kulUIiM7oUXoXbc
Ew3RxVubXgOfsJ5x3hXGVodcOZ+Ba2QuvucR+A85b5Gxl3MiMy1HnKbjyhpkBax8
uLnQzoLjLi92AzcivoeGBg0UCjWfCRkauImtbMy/6lnDQj3gLus/q8tJ9H+a2eao
C70Tv0tP1g==
=BzCu
-----END PGP SIGNATURE-----