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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.0.0-2build10
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Hendrik Tews <hendrik@askra.de>
Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/
Standards-Version: 4.7.0
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 (= 13), camlp5 (>= 8.02), libnum-ocaml-dev, libcamlp-streams-ocaml-dev, ocaml-findlib, dh-ocaml, libzarith-ocaml-dev
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 bac1bc40a8eacb2da5571c9e63674970f31516e9 5364404 hol-light_3.0.0.orig.tar.xz
 fd7199bfd0137df52f40851dfe05b22476e0b356 11164 hol-light_3.0.0-2build10.debian.tar.xz
Checksums-Sha256:
 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
 a78b9e904890f9c8c588c41cc81fef6eb10071c0d8a1f14d68d48f7cb83d5117 11164 hol-light_3.0.0-2build10.debian.tar.xz
Files:
 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz
 caed03382841a6f4eaf251d3233775c7 11164 hol-light_3.0.0-2build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmi0Mz4ACgkQ808JdE6f
Xdm3Jw/+L5m41vOrPNxv2Z2qB2hqHon4GXw5TX9gbUJZL0YJxKCim+6tg5tefz7B
UhRuE6VGx2yv0tR8BksawJDN5h4cPaclz9jPObTbygnoxjL3VtzTWsKcb3LU0s2F
nqPucn8CLh5Blcg9OYrK8SVNcAsS2ATzEbGi+pnc3ZLEhlplX3eKZhVOTmo13XwC
hwA/wp9ipb73gxnfwjRSpyOMb00CI4czXAImHlj+6wzEjOLr0TqnC9tjbcmPxlht
n+3fH4yi3N42Uo1XZtn19SeY+RXP9I1mdl2WKrcgTvifMkU+uL5ECsWeOjXFDomc
C9ei0nQ8ouXoDPAmur/M21eOQ1WqiUQmZQcxhe63tUl1YkwO9vGdoolnPxPeXfOe
C19PHmch9SEKdU301OqA3+MglCngpWqaYdtJf/jZj3xQEFc++2ItTRN7nv/sHTFm
8UGc2/ptK+gZdrQAeWdj3mX9ZCu92zVBoEBr9jBexmtd1CK4jRsfsyGuMdSS+kX0
bvXrHqV00cRdI54ZozuA6FWxk7JUGLo4MvEeb8D5/ePlKs4lejMBJTLebNoab3yq
e01bU9JOmKOqRGIpVoqpNT5apDlNfUDqpizEdqoPiJNC4ZLWTGFSWtLRWLKWxf3G
2fVXGw58eHkfc9L3X3dWfZvh5aYLGBHbir3VJs84iyUanpZVu+Y=
=ugNW
-----END PGP SIGNATURE-----