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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.0.0-2build6
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
 ad66d7d3dbe5e6993f82980f3aafff0b1e97237d 11084 hol-light_3.0.0-2build6.debian.tar.xz
Checksums-Sha256:
 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
 017ae7e662f8a0de2775f54a46f014830e60facba3e3236371858ecf0b048392 11084 hol-light_3.0.0-2build6.debian.tar.xz
Files:
 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz
 9acb8cb564f3e9cc2629213058b3eb49 11084 hol-light_3.0.0-2build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetBj0ACgkQ808JdE6f
Xdlc/hAAzPRYoAh9znxIy5+7Dl5BfZ/UYO1irW6wwyJtZrkhQMoq9oi+yFWOJbHA
a1PQ2zcgCTxq6cIXAGUnM1gnUavKEvJUW/AxDh0/+FdqdKCd7nArtyZCWOyObMPT
qdblUsVYrIVzmm5XdZAhLCOtFZ2WYqPQ3SFSKig1Gu7RoX8R7DSgRAxeJmyc2Bji
zU7jLjlghyCz48ug1A/in2RPDLxQEwGLiXRYeKUHIWr+J1pDZDz74BvVGp2Gyr8s
i2JgUHZhm9ywkiPvGl4garTKIJfwukAU0m+bGo+dBvfK8XRypXPVJg0icY1JAkL0
rjuAO+uCh7TwclKIrY/WIfeI3J3dP4FajvFbpWp1gleThnALwinYj7DNrpM8mk3J
Hdzpua3I9lmdJEaB6S4R63UVOc8k2vVlHLkgO6JjY/tYa/hxk1GtGoBYdCLNZAT+
b0q6ZGx/V8WbDVw8NPXlL4iWojutmdP/lIEphqlEIiptM2t2xu68uEqGLF7qyoRu
V90OUMGKsxrYg/TByBdDEvKp5KqJOdDE3XsCJufJ/VqdFQ46QM486Xhqzuj/44eO
ZQU4nAjtUU8FeDD4pl4KgGDNrY8yQDg6u+SxEwjy8ccfkN4c+ZJZVm+OYjMVqNhH
if7CpHBNPmdp4dt6shiXQZerkoU2PRjcE24qc8IbTtqKUXeiesw=
=NDJe
-----END PGP SIGNATURE-----