-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: hol-light Binary: hol-light Architecture: any Version: 1:3.0.0-2build8 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 f8a502c2af99f61c257e5760595072ee6e603762 11128 hol-light_3.0.0-2build8.debian.tar.xz Checksums-Sha256: 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz 3de388cd83b00e8bec24911765fd186524e9c6fd16d7a9ff46778c1788ee28a7 11128 hol-light_3.0.0-2build8.debian.tar.xz Files: 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz 8366aad1065a6c74ea8e86f65cc45ed2 11128 hol-light_3.0.0-2build8.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgdRRsACgkQ5mx3Wuv+ bH1o2Q/+JQMbQdBp/Yrt4Dy5ySuv90qzfSpJ6LsJh68850Yg1cQZv40YDLLjMWGt SZ2VXfr99x2JhW2tP5rJF+yBjmHZIIMGc/X/CkvRXEKZp0iZftbv9ITrtDs2rUX/ MZSvtgfxNslzY6RLK4bIQn3/JsIaf1Q1teqWsQ+d8wpHU9EqpekIhMCofCDRXSTZ 44qhBrxXOk/PAX91Gqm/BEbkIv15QXbmW6Xuj3fylTYSaY9Y/Xb6UFLZLupv85Em 7yqPQ1X3BBL00QcYnL6ZstRc06MFrgH64YlmbD5wctkm9/mffUlZ0MDRmvfNJ/5q QIWsfRB3ItmU+vJqxshoMPaa7AU68t0xMmFcmWrxQ9BTBzLfzm6tdQK3GKiAkF9v BaVWU7G5gk+KXlJxqFPknSDAp2UZLvp68Atf01v4ZK0DYmlX6o6cGK3j2NUoAoQV /z9jRFtVL9lYosOs93SRRx/CibbRTSP01jofvYgm+BnGdNJb15JjGQwQsJFJ9QIt 47z+Z6bWExD2XV880w8XwnPdEuU7xS+DPVkZYtlX3GrleHOw0F1Ro+gRUe2tPXOq Q5qyjSnVpUZfQ26tT72ZU8K08I3fJ1sStaHlnsRq8hTWDOc2DYq+OpEz/pq6RJPo 0p9AxkzcjvkZLlDXXUyfa+Bhn4im5+1IgI8BwKUjZ76jDPH+DrM= =6h5j -----END PGP SIGNATURE-----