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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.0.0-2build4
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
 eba05bf5e3cd3a3e04c476748d86f9ae5846ced0 11060 hol-light_3.0.0-2build4.debian.tar.xz
Checksums-Sha256:
 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
 f283ec446d7bd8e23b0a9c2c183285634100a62ab47fc873ea519c041aab9dce 11060 hol-light_3.0.0-2build4.debian.tar.xz
Files:
 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz
 ca6e4c38821115b4ba56bc604393cbe1 11060 hol-light_3.0.0-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeWq6AACgkQ5mx3Wuv+
bH3ogw//Tn5RQCkBZLPYtmtMk2BLgtclGPEFYsBX76m5bC/fh20rfaUJkBbhjjXK
HN/idCg/M6fr17f3H6X8Y9XxsJIbAXbcDuVdG9TMpCmoaio8BZTMhQ4MEJo5OXCE
tUmWd/IcUViBpl0xWttSVigu7nUNK5egKHGGtku1Rvh8B6R1nscFcnmfycEO7mQy
tJmbZvoCHqeR97pEZUkyHOoGDg+UuHtz7PvZA7xDKaNZhjzSE+vvYfPv1xN8V5D5
iQoLJKmgrBXGtrE42dOJxu+VsqyfKypqjKluhXB4PV7eikQb40xMqDHnlIZPqqOY
S2MhTuDJ2DzE+B/Pgow+0sHOhacZ6Lp2qnBO3LNXHqInPNdeLIndECI/OrDDoREr
IHu6JvRfLyrErMcoliGiATR+soNPbZ8GKcRxwVKUKkUgYy8J/N0gSVCXTEBWn90i
HO5NqKbAn1o57RLuF9IWzzG/8THU/ThH2RFQog463/GzyL660fAHe1E5RhqNZfe8
R+HTjCk+qrjSBpDs4aYw8AkOcRQRhwTU//LoxT4ULz9Hohv0bQyF7o7/U5CXc5mg
L/UOE3L4ys7ctnjTSJxveAQX1rrgBI3RRZt8BlKpoShowKIZC8hE1UVI1YCIs4Ng
SYWoacl+tkuaFmMbcmCepSUN/BBMnfsBc3iltKG71l2Ad5rGC58=
=a1YW
-----END PGP SIGNATURE-----