-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: hol-light Binary: hol-light Architecture: any Version: 1:3.0.0-2build12 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 0cc2747c1640fc9c4506208d6d236d25d5623ed1 11192 hol-light_3.0.0-2build12.debian.tar.xz Checksums-Sha256: 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz ab9baf21d2f487f939e2ba659757cada2a422a6ea1010e90a8332599ee143b5d 11192 hol-light_3.0.0-2build12.debian.tar.xz Files: 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz 60b19ea98ec3035cef5f6f9d1fdf1055 11192 hol-light_3.0.0-2build12.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkwCdYACgkQ808JdE6f XdmgfBAAv6fZV0c7eAV/SIwbNAwue7fS+miwiqNWuY1U+kPGK+C/2m5kIVCyA3uy X6bHxUIOejYVoAb24lI7FJuEpeUVduPjsgBUk4vWiP8IJHQmNBD0sWRZcs1DdWdN XVAcMpWlOD0qxvose1u+OZJ7ERQX0TrejLv/0x6hvt7+t2LWnI+7a9GVBDwLv/ZL k+NtcXcrAme53rIqL/HL9kD8sgB5OgX+R6LfPObXtscYPLgyGlLuPMarfIfFT19g mvZTFkPEET06bRv7uv3S6oJUeotVNXTDjaw1+rZ5lHRKHy117l39WnO6ZbWUWcEA IwCk2AM1ALIbgcD8Zb/47jPVMNoUIVu4dxBCLikhCSLsYLiO4LvbK8UF4e/RBXyU M0sz3mjTDjiwTR/7saHaaBW146ttQYLLq3gGIs35eSdlGQTM4muRrBRO/c6NLHO2 thdtPAIFP1+PHf/YGIVvsYov43rMpPKvJuJYRDJMuXFk3ZeD2IHo49aSbpronYvf 3e0jbEtipiRO5jUKXPIoRDJQZKOThZvLlYZ0Ek6/BV+KCeoQ1mRe6Ah0ciM4Ajr8 d2oqQPP8ul71EVLfUZ1Z0gHcPt9xl0Y519k6vGrbUwwWssyg9jQJvG3Z0QDS1IRZ CTjNzfrGL2rWu+2hPpF5yl0yxteQnzxJsZonfTSlg4jE7bT0Unw= =0qUB -----END PGP SIGNATURE-----