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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.1.0-2build3
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
 02e6513b3169be1150b264ac069c31635c9aa467 19796 hol-light_3.1.0-2build3.debian.tar.xz
Checksums-Sha256:
 381cfbd720fa06487022996e1c77079867e30292f6411d7162dc2056a2e19aa0 5539628 hol-light_3.1.0.orig.tar.xz
 2679af0a6602af1e13649986489162076bb9fd0e5ea3f6c12ed21d1bec2d30cb 19796 hol-light_3.1.0-2build3.debian.tar.xz
Files:
 e7fb33160150667d18dd711e991005aa 5539628 hol-light_3.1.0.orig.tar.xz
 896bb888fb304f7bd7d89ba907a804b4 19796 hol-light_3.1.0-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmjRa4ACgkQWWH9vpxh
mAngDQ//XYTkQtSXHpHJXeBlklj93mmP4gi/XthFSTHrKqFZzEFD/fOtffss91Qy
OZFQGGysW5wqpuZkkndOKL1QKZGrih5PuUamuqJRogDPC52cBKmhmvXdlW0VJuSS
jgOMdZFT+BZ2nl7urn4oPGAMDAKdWLGwiMfGY2VBu6GVp8XcJqgy/5ZjKjp0Lto2
/FhCtIOCrd9VD8us/bebMX1t0sncy5nLEHbSEwIWfB2pWemV2uBjeZ9yC0vTMjo3
p+y1pbd8MCaX34JykOblu5QsKKh32/dZsyUIG865h4Z6Yq6iIz3Zovndx9I/lmxa
xvrGHxoXcdJzqBcyMEKLSa0srImevigArTCa2lXTdlgEcw9gRYUerzGHoJJJPnhf
n35S/x/mrlwtBlmz1PUQv72o0WoY30N6nrp050uLIi8ITiv5COpHd+ZLhbtKOvW4
TpbDmZQ5I6lR+fIlJ8EphVw2EiYN4538E0qqo7GG8WT30Pnv6nwCnyIvSb9dy3Tc
Sj11NEuVyZHO2d5E8NQzSQm6zBJd/tHkgF/lurH2KyRkG5VX4LR8o1F6uL1lJSv8
NlJeV5pBVgXnM37oDCgEIP8ndtccmKhPc7dqvEbbLPIY+XeiNlanZkeUpJhJbaMe
p/7eqVblCxdKMyMOYRVFXwlfVqeMa3VV6UJGJ3cBvOrsYo8q0+Y=
=lJQu
-----END PGP SIGNATURE-----