-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20190729-4
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.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
 779019be6fd66b0fd466278fd2ba0283e1b65f11 11064 hol-light_20190729-4.debian.tar.xz
Checksums-Sha256:
 88cfcdd1430d963b9fc63960829e1a5f7c08df98ed92b3765cff51691dbfe75a 6959546 hol-light_20190729.orig.tar.gz
 53d607dc442fecb99d93726a8eb55320b4664642c97250782442718511da87e6 11064 hol-light_20190729-4.debian.tar.xz
Files:
 9a8813a63d883e10c5b52c36b93ee9b0 6959546 hol-light_20190729.orig.tar.gz
 54f705b5981178d7b552fa0588e0bd2c 11064 hol-light_20190729-4.debian.tar.xz
Dgit: 965d54501388ff89c35082ffca6a63faada91462 debian archive/debian/20190729-4 https://git.dgit.debian.org/hol-light

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

iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl5D9tMACgkQIbju8bGJ
MIF3UAgAlrp4Tcljgm+oFaEgjt5OgH+PYOuEsnWjp3GZC5PMk2QNrjMfFSQ2FgGm
VZCr/h6jgQ01WbUoVy1KMx+0hADI8ZXWgxMXEhhlFvWsXSv6vDazIRR3fDph+R3L
PGkGnBsWBAJByZvL0tzXSJOOqf2uC1ErARGppQi5R3lKIVK6NJwippJ5ia9PrZlj
Jd0Ium9rbh1bvQX99uu6RFte5G7FdnRCDBzM03AvyDobM87zHFZlN29cI2DA0074
9dovjGGTCHPBWMT4mTeDdj6udjUgpTg1McnipqB7czUZpnrvNTV7QHEzSYFapiwx
Ge3B/3sYINbYR5SlCqqkbYdVU6NmDg==
=xul0
-----END PGP SIGNATURE-----