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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.1.0+git20260619-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.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
 68a5cae20ac16aabe0865bdc36d4da48ada0b04e 11140 hol-light_3.1.0+git20260619-2build3.debian.tar.xz
Checksums-Sha256:
 31414bb6b50fdadb6d56fd011d1bdc9b8eeca360e16885c10e44edee7b98de72 6363232 hol-light_3.1.0+git20260619.orig.tar.xz
 55847e9e0b11ef8ebecd0cec7144f9e2b9897311b0526a8512dcbd2a6ecd3d4a 11140 hol-light_3.1.0+git20260619-2build3.debian.tar.xz
Files:
 cb7259565817cda6611a3f9202ba0c76 6363232 hol-light_3.1.0+git20260619.orig.tar.xz
 44202ead7323f2c7562e0b529672c666 11140 hol-light_3.1.0+git20260619-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqNu3gACgkQ808JdE6f
XdkaUBAAiasdWrzgWOqwj+Z6ZjsChe3xnNV/B15cwF1XdTGP4zyMIIeSDJ57qX0s
cVdeUXeZt1XUo+36vNj4oLhghdmypXuaiPnpW0U1FCsP1kJS1I9MlCRZ4HJS930D
/AG1++dNm5W3PrpCkeqOKGKKO8qEb20tixpf6ZakbKGPd3qbmi46zBfXIkT5jllm
UVyQjF+pOoo7AU4H5yvpcvtYrH4H3eedafrEiQEyPkN2HgkAnwR+27o76r5XnleM
qomsUxrritQ6s8M1ACeUDbfAu0g5ZQtUObbIpYNuUr3pbYa6T+JRpUTupQm1Rjes
srcfmDPEfF7TUsPApB9yozMuZTOtHM7u4l/6c5EYnfx/70PHvm1C+jmE2E6B1lwt
2ZSnn3+TnLeciKmuwpgDUcPgfMXBs4+sE7E8xrqsBvj0zZLgCrUfdMq+iaTqCD7X
EmKRQIm3KSIEQn61+9D7xJVOjcs8l4XQKGZ3OedNzXAG3CSK8m0WgvtaZpvVQc2G
Ufysmqc6jGOdnMkgdaQW+mcob0epKxkRdzeLN4HXHDBP2AA83ydmH6bNswi1DEF2
tgBcSQaiIzzda92RvBOngwLG0gjfermjFnHjl8q1zYtZlQAZ1AqMWMkg5UGQa3q8
I4PfrZVYqDBEf1RxMr8iQ1MF/YQaHjllpoa5zfy77aMRMF4BNic=
=wv9m
-----END PGP SIGNATURE-----