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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.1.0-2build1
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
 8b104ef83cbb5b17fbf07a8f81b2371fd5118c75 19740 hol-light_3.1.0-2build1.debian.tar.xz
Checksums-Sha256:
 381cfbd720fa06487022996e1c77079867e30292f6411d7162dc2056a2e19aa0 5539628 hol-light_3.1.0.orig.tar.xz
 17419b709d567c7939adfaffebf73ee1f7a8cbe20e0eb5ab055af62c3dfb9c34 19740 hol-light_3.1.0-2build1.debian.tar.xz
Files:
 e7fb33160150667d18dd711e991005aa 5539628 hol-light_3.1.0.orig.tar.xz
 cd692f1e62116c08e643fb6201903bce 19740 hol-light_3.1.0-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlZVoYACgkQ808JdE6f
XdlEIg//XzgB3SqO4JMFIjY+ro+ih+X/riNcSU8zjvSaO2PehT0cEKnII7cOkeA/
aC9B5KHnGmL2pheKOqgVSXo1X6C4TS4lJPJtkBXT978hppfhC488Tv0/jrGzZqPh
Ek0sTZ/a5n70YLifu9ae3OLWy5uChR6oFXJBUnpkw4jrmni/82cp+/koarolUGje
N7UlGhHrcwR6dmXV0UeuR+Nwuu1sFe168+QKCzCq8U9HZFi+R0X2RpgL5Z2efi53
KklyPg7qZsjcmtUKUD2BBTmjZhdlS2bfHHun/0E4jjn2QO8c6uG/2Cvk4hXrVK5w
h6/nu6/2qEMp2ut1uT8g55XKl5wKnb3NUo3Qd6wHXZCs6VHxgRQkBwoMJRwAg9a5
/Pg6MSS4mSlCNbxpgNfi6t6gyru4YDjlZ5/LPPfymHFDYE+TrTfFUC3vj7zhyyhY
ifIhTZHz1k47qkBSL6qvOt2BAg4QTsV8m3bQ9SqI1V30S94sLIIpwyPGnM+O2OcY
vZXUhIOFXlopxkANfH7rePWh7uj9XHYpW/eYDoT/SFCAXEwvCGHljw/W87OGia9q
VOGkhNh1G+GXqwFOLbrkIdt1wBGk6TixBKd5JWJIh9fU4p1YmynncV09RZYwvwDd
rAD+XDVTYp2gYTnvTPDvSNLRbM5aIgV6LlFRNN0hKPGhC6fCIbs=
=JYaM
-----END PGP SIGNATURE-----