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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.0.0-1
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, libcoq-bignums
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 bac1bc40a8eacb2da5571c9e63674970f31516e9 5364404 hol-light_3.0.0.orig.tar.xz
 cab0c740286edc27bace602974fc752600295cb3 10864 hol-light_3.0.0-1.debian.tar.xz
Checksums-Sha256:
 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
 c1dabde33ff7dd3d9cd0992e464cdae2a16a04326238e2f9c7ee945579f4171c 10864 hol-light_3.0.0-1.debian.tar.xz
Files:
 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz
 3f7c76095ce22d242e77f207c8641d42 10864 hol-light_3.0.0-1.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmdSrgsSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBpM0H/i2i5cAgGvOBDIA2pg9OUiUvI7/7Judu
8vE4Fg7Q9vdHvBdxbM134yaz88OfAtjjlQ709SbqreqHLbyJzxX+CDPW3kstbqyp
EygaVUSr5/T4mqFYzGgPwYsIdQ6F3c0cJfq57/HXkPkiPjO8hsPf/WcLKXy5tsUL
iQXngG6VQpBOOndn8+4C1sIjC4iNvPjzFv3/P5GTtLyAQfoeN7ufgpEfumYvtlwy
gyLKRojYPdDRFja7WiIOWKCUVdMQenbIH5k2wIsxak2osCifjSl+msJ8OZJ/fXBC
dfx0tPahOi+3xGtB+nE31WP+k1yT6WlarZcdFn7LLtH4H2f1Ou6UopU=
=tSn1
-----END PGP SIGNATURE-----