-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: hol-light Binary: hol-light Architecture: any Version: 1:3.0.0-2build11 Maintainer: Debian OCaml Maintainers Uploaders: Hendrik Tews 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 89a62df6e7c225df6959fcb8283b1c9b3d21f287 11176 hol-light_3.0.0-2build11.debian.tar.xz Checksums-Sha256: 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz e8f0d3fb74811e6e3445e7149d1dfd8b12abe9b2a966df931c5fa2770aaf3b1a 11176 hol-light_3.0.0-2build11.debian.tar.xz Files: 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz 1a753c7aa24223dc579435f46f923785 11176 hol-light_3.0.0-2build11.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5QgkACgkQ808JdE6f XdnKmhAAiCn2oeBBTAlOLZV43Ls2f2kgz5t8YccrFZQZX8RPtEDLhMGPMu56Kf2R fQQba0BJ1QOiX4orBEdPeHK/ung/zxW/3rdHrOqaSgQVQyECZH+FfheLgcaYq8wD 6RRuuHBq5oWi3mrZx7Q+Kqg9OvxAl7kkWeJyR4ak2NlYbc10LuUQ/dKM4T7mU5j5 Ur346TZAMXkvoNXZAkr70FshrV5ONEDLdm4hJgHj/hgU3L/7dchUlHlT+Xhe0S5l J34NRxzvMd+I4o2ldM6Nok7lXmYrNByRd15HpPL8+jGQ/K3guL3FvshtJGR2xF5Y pM/drcWSJ1Z+r2kGIr2f7Ff7Q+MeQjW3z7evbbNrFnQIZg4vsp3Jkr8y3HUNCp3J BCgDPjaNYhVxAelL0kXyeiqy/TMjaN6xR2ofAg6GOEf5lzNc40NAY+GLIxOkCBtL 326lXq+/lSH+4PT17vPaVz51ApHv0lcVaXGccCdRw7g+0Dh3N7dRIB8Y6FjgrcBH UqDFUIZ8ddwncWlDVPMQMwDNFsYUnqdDMzN8rUd4wOqShK5Psev2WOWWIsqqj2Ej MRqv4dU8LYV3fIZ/Rh6GH3ZPIKD2l+HhgYoSZLchstECgyLpP2L8px2Vf1aleyDD N3fD7N1+xXOBCDhdl74JQ7PA51aanjJb/N8SUF6583I9EqWulZo= =vwpu -----END PGP SIGNATURE-----