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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.1.0-2
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.2
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), ocaml (>= 5.4), 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:
 597e1231b802d35a35445e7c03d1c045501218c8 5539628 hol-light_3.1.0.orig.tar.xz
 11e2425d9c9679f30a374fef81833f7fe69d7b16 19668 hol-light_3.1.0-2.debian.tar.xz
Checksums-Sha256:
 381cfbd720fa06487022996e1c77079867e30292f6411d7162dc2056a2e19aa0 5539628 hol-light_3.1.0.orig.tar.xz
 304ccb4547b87145a29a256c841be0853107c1329db7df7d69d2de098f01e4bc 19668 hol-light_3.1.0-2.debian.tar.xz
Files:
 e7fb33160150667d18dd711e991005aa 5539628 hol-light_3.1.0.orig.tar.xz
 3e51c42bcbc3a7843e9a8eadb4c640fd 19668 hol-light_3.1.0-2.debian.tar.xz
Dgit: c971ede068fd9d8030c6396d3097ac2e38a36fb0 debian archive/debian/1%3.1.0-2 https://git.dgit.debian.org/hol-light

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmlO+TQSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBt2wIAIe8Pk2PlWzWeffAciZncDp8xRG2e5Tm
n9tNOkEu7Iej79uPd0otP1L31oqMso1lfm5lAeNBYf4q+rNo7KjDQOQh43su8b22
BQ/N4OBJhvqrW6PNcGuPXp3xe5cw2/k3bl5C/lUXmLIcki9Ij42e7tFyiNlkQqQd
P5M77f73DKIQveYYr5rbq5p1C05p9DwCXGftXp6ou1wwRj88zVk1eNyLCQxPJ/5j
hQVstiRbejAtSk2IrlUY5JZ0WY5XirODC+fZDVCYe4UbrOiwQECYH/zoV9Aiv1z+
/axDet4uiCXkOp5OQtImId9RqBuil+tuFKCJmW4vA4aEkIHXUYRex0c=
=NS2f
-----END PGP SIGNATURE-----