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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.1.0+git20260619-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.4
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), libfindlib-ocaml-dev, 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:
 732c39395f5e4f72f679cbf40847d055785cbcc2 6363232 hol-light_3.1.0+git20260619.orig.tar.xz
 8715d561cbba156c7ac562cdaf365a0856e946aa 11112 hol-light_3.1.0+git20260619-2build1.debian.tar.xz
Checksums-Sha256:
 31414bb6b50fdadb6d56fd011d1bdc9b8eeca360e16885c10e44edee7b98de72 6363232 hol-light_3.1.0+git20260619.orig.tar.xz
 cd7c10047b97ab78598e7f8bfb06ade9575dd866af60dc0f554cd6d59ccee60d 11112 hol-light_3.1.0+git20260619-2build1.debian.tar.xz
Files:
 cb7259565817cda6611a3f9202ba0c76 6363232 hol-light_3.1.0+git20260619.orig.tar.xz
 6bc41c64250cae1e25e9cafd7be7aaf1 11112 hol-light_3.1.0+git20260619-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpN9H0ACgkQ808JdE6f
Xdl+ow//ePhcBM08BKdn+mM8cRyUGjxwmpW2GI+aRBKzyp9VzRx2j2EglckZv6fZ
WgHBXm1EzOXF7ojsTqLrICMNwSBxG55V1o+gX8w+FK6ZYfbHI2woYpzw8kHg9vOW
gX62mtwDIcv0JgPer5V56sUeQRFTjESpINyyMap7WHa/gdh22O6SpvVpimiGrZLE
A5+hrEFeNVWMHordksyl16WiLtKXdFCxcCJAbSc58fsoiwL60dTD6wZDIdZca2wa
nML2iYitk7DDbJ1yPKufY4CWuzU1dGjfKrGpRomhEPdOmeeKsZNHvC5I/pVAzNNh
7BEmZSka0VwhAVEuZ+SrnrzounyaI6JJ7sdcXkEg7Bnr+C+V7AZmeNkZ8jWIFVOu
AuuneZb7Q7MhT4CUW9epy7gub3PpBN1KPV3DfRcgm6299wKQq/HU5fXydbSYYy5L
wBDPGrWDZuO3ZZlNjtPUrzz3RkEwDHAOt2y/GmFFUkce4GtniiuPmofQv2aHUvwL
3FkCv9r2tkSNXdpN6gyq7XTmufJaDFygu8ro9leGiLHbYvXFaW/n+XvvTI7EClqG
Iw1Qr42ky4r9Q264Ds3i3D18fjSkHY6TdDUyaM7C71bL3ogoo/G7rx35ex48zhN6
dg8I/FJq6r6mdtLcxmyv2eiXCHIHQTnZFaaWZgB80MPhMQ4bgoA=
=4r+b
-----END PGP SIGNATURE-----