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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.1.0-2build2
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
 f05e98838ba9f9bef8eb54a1bb34e477fa643c83 19744 hol-light_3.1.0-2build2.debian.tar.xz
Checksums-Sha256:
 381cfbd720fa06487022996e1c77079867e30292f6411d7162dc2056a2e19aa0 5539628 hol-light_3.1.0.orig.tar.xz
 7b086002939e7ea71de6c4b53776bd607565db98274ec843c428193f6ecfc2bb 19744 hol-light_3.1.0-2build2.debian.tar.xz
Files:
 e7fb33160150667d18dd711e991005aa 5539628 hol-light_3.1.0.orig.tar.xz
 caeae63f872ce7444e164c0077552a09 19744 hol-light_3.1.0-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5LV4ACgkQ808JdE6f
XdkAGw//WqxodR8NOKpQ6JR3sgQXB4+v6ses75lmH3sEGhQG93A1IAHrZB6W4eIG
LTGrxcHnPQ6beAt4r10gKXZbOZps0KccCvw4zR60GRuETqPbcEyEfELAuUr9k5QX
SFzO+aOm1GORplEHIanrDPkUwcjuGHkbcC9O591NWwZwCbrih+dVg3sefQa7WZIO
I5dzhMBLo+WJ3RyDto+SCwFzA7k1Jjf/6oAOGF1vlTOkdKkx4gBpaGVsvBW1kR+6
nHFJl29FkhCH+IEKGr3sSKR7Rx1vMmNixXKczT1skjur8DPBom+zq0qsRPg7Efc4
lIWpvpHoCyUTzB+cILJb3alG+VfLdTqtv8StRfiwKQ+S7aAHvjxJpwC1cdQEUiS+
iaeZrQ+uITr+xVw66E1grLgNPGa+r/dg4stveduIZPILybxG31s8Ii7IK6gZml6X
yInx25krG5VyQ0/W6W8ZyNSOkXHe8X1jgc3IbEuKeYelhifIlXyIb3R03RGWjigo
ksEP03n7dygynfzNpl9kORgcsbmW9vuONEdf+65XuubLtFoSEIs2MXwjdkRK/wPs
1LmZqaxo05h+oggDBAxpxuiDSoW4goPW1HYhmlgE7mCf/1rpvnGDLDCbSbKJbYx8
567QXAsHD8DntImDsHeCkOrWc9oSbItOFBjK/IT0M7eqNr6ppJM=
=KSdy
-----END PGP SIGNATURE-----