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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.0.0-2build7
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
 482a9164463068fd5f9fcdf7a8e93a60a2ce4d8d 11104 hol-light_3.0.0-2build7.debian.tar.xz
Checksums-Sha256:
 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
 4ccf054a81d993cfbf1ab87543b58c2e80b77a37aedc9a63e43b2d2d67036f79 11104 hol-light_3.0.0-2build7.debian.tar.xz
Files:
 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz
 3c64a7f318b66d67d54648eea42cd6ff 11104 hol-light_3.0.0-2build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmfTGWIACgkQ808JdE6f
XdmcUg/+IyX4aiUQDBlJjy7PEXZa5XdXSoORp/kC8QZyZ+A8+JxyX6uTCudGKN+r
2++Oz9n531YiGfA0PLvV+XIp85xk1cpo1pY6bamVzvXDVUifdQ5SFPaFQGD8vFGv
J70AF20I0aGbYsPHnD56kM/hZCyAtkuU0hYh8Rn1WhLC/T92f8Ot2X1Ez4hTZUqr
+lTKoeR8E4qFc8tiucqH1BZoRGhfhnVeR1+hLGDdUF97bxZBY6e3iuo+BEJ3MisQ
Z31vx7BSvA7K4YR3gchEhwA7OpmiI3pGcI4eAgIRDJQnAaOIHP+G++a/IqXfgmQu
Rtwsf1HgBSjEGjGsSFtw3dxuZUsL/ezrS/0/SqwKx8tvyUkl6gWglA1qkJptoTm3
nLP3kaD6VZHTYMFkoOs4bURekiUYEIVSnB6+vieTP1t40e+sHM0hpR+XG+3twSnZ
koAUAsdC2Mnq8A/qD7fWfXiOZUluhCG4961pjMu2eRzFtrncex3db1d+laldCxsF
W/mco3yXZ6HIQgrNVnVsw+YFOMXeNm7YHMO1R214HL7EeXmBCTlQxsc6IQoFXuDB
GBctZmppOYA5ReSEVBYuv/5RB4k8gVoBMw9WN8bZ4s7GKyHzWRD7m1YRfQxRJpRZ
dnp7gfFyRzZ4hJ2X5DJWrduAJ8pYw3sTKzA2hYFg9Dcv0fHg2/Y=
=q0/E
-----END PGP SIGNATURE-----