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

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

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

iQIzBAEBCgAdFiEE7iQKBSojGtiSWEHXm47ISdXvcO0FAl5PMwUACgkQm47ISdXv
cO34fQ/7BIPvtNY7pYsIznW3sHEVQWrR8yla6p4D58ID9w8DbjLuvzp823b3vldF
4QrvwuBNUCassYNGaHY/ZhlPZXPzKpZe0YLfFqdGzEnF2HqqU3Lt3RqYYXtrd5hR
QxQZbvKr7pDSUi08j0ppFmlXcqURD/0rF3+RkkToUNFLTStUzAMAFmqxorX6ruvA
D3SQK8rRJB77PxgawsPZ62487ZlNb0QqJmUVXdVxzS+qK/IBTcl0iRT2693BQ4BF
ijWyJ/H60muPp7edJ+zrMYrBcRkxq5FVOhhSgg4tv/ZIT//I8sRvbvFxC30waim4
NYBemP3LQJljmeQODVLG2jNPGoF2SzPbd58ugwQ+qBWhclfbPEz2FBTIfa5r6kJF
4hZUxg15K5db0T4i7MLq2iQO+eJJ5RGw9qOVqqp4dprUQT3dlyDV7W+G2J+MMU/u
P0qW+2u9ZmVwxPIq92jzo8RB2zUjOMNTAK/h3rZrTkZ9rqX/gNa/LkjRfhxG3UGW
ezUdQoD1zrWOK5HHWMdSD45FXNMj1Xi04+bv7pQ+cpSbUIt40SOaWtz5nRAFmICN
z1+TlQ766mwJsAuVdHaKj8nnkeavCFQkSxIEOjpU7VjTQxve0OT5jShkjU0sFabg
Rp+lg5/z+Vm/eXNXETWAHACG6XQVSYL/GX99YC2X9mrZQaTO8rE=
=bFi3
-----END PGP SIGNATURE-----