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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.0.0-2build9
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
 c6e828629d80253eeff102d9c9a200419d56abb7 11144 hol-light_3.0.0-2build9.debian.tar.xz
Checksums-Sha256:
 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
 71436def316b795092d570e1dc4081c389b92d7548cd393ebfee0c6be8c3604d 11144 hol-light_3.0.0-2build9.debian.tar.xz
Files:
 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz
 a8914ebee490ec62df9799bc076d2ad9 11144 hol-light_3.0.0-2build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhT0xEACgkQ808JdE6f
XdllWRAAxx6tBeFqI3vAtWCZlDP6pjtWK+KpbPyoRrrAKiTJ20sJvF5kXGcgZimr
KeYuKoyvKztJJi/2h+M9ZUm2YwGJmdrw4xTvH0GP3xOJskQBgb4VqpYFj+6ak+1w
+S9Z9avZL6C2+S+owuzmgP+4MssIy5qaBYA8KCiF6CJoCBDeT4+lubB/tG2lHKhH
LWbyYwC/2BKuR0OccrELiKtIYmP5rZ86CCQruS7OnQ94OMsIA+AiYRxAzmy3bFJi
NVjYkHd4oJWLKhMWJzT0dawYal3VUSGXOJ2vR3rT7n0oFS8z+nGk14SD7eBXLeWg
ZYk82P1VJ3yfoB5sA84r+LYjuIoKp2VhEyFYh7cJTI/WvNmgkwfOHatXLePW2YU3
RiT3s2k4haQR+guJCtltQVX5ZHO0MpgIjZz3y0AxLt5tOTm9WhUPkSAtAVqGWr6s
vDkpipmwRn+nKnePqSaPZkyoqVYOb75560vnbJyjCQ1+jOYSz6Pcls5K8oypT3C1
QAI+sRgx7bwE9D45sh8L3Ss/ldkPRhEDICost1smjQoNKlStB4CuRhXuPQ+kAquw
QtcUp16/OpcTOZfWF9pBLCa7Wls6fdjIAqKD5mdQPfut37ghLzhKmdE5Fx2SKJ0U
4kxqizbgxSDD+FK6dGziCIHVmo23iAmBtxscjWbWyWQ5uwlh86s=
=pXvA
-----END PGP SIGNATURE-----