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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.1.0+git20260619-1
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), 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
 c144684c1f69aa0db21a23df16069a8e78284ab0 10756 hol-light_3.1.0+git20260619-1.debian.tar.xz
Checksums-Sha256:
 31414bb6b50fdadb6d56fd011d1bdc9b8eeca360e16885c10e44edee7b98de72 6363232 hol-light_3.1.0+git20260619.orig.tar.xz
 0c22472e218fdf0c632b668026cc42233ccc7633c4c70647844c90a8258fee36 10756 hol-light_3.1.0+git20260619-1.debian.tar.xz
Files:
 cb7259565817cda6611a3f9202ba0c76 6363232 hol-light_3.1.0+git20260619.orig.tar.xz
 8ac3baf59c3bc488a7056d7ccf10eeb5 10756 hol-light_3.1.0+git20260619-1.debian.tar.xz
Dgit: 17715ecbe891e305638d94531814aa207a1d86eb debian archive/debian/1%3.1.0+git20260619-1 https://git.dgit.debian.org/hol-light

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmpGbmYSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBzJsH/21mnmzaKvzPk9mENyFNdB6Eie46YCcd
rTIdy01lKc7LPAhGJla/TCzFqj1u+/TidW/OlxKP/Ou6a0zCmyfLebQUtdn9Vzzr
lKaUSBgemFrjW4LyNz/M5cSLwUd8RjP5VTGaM7v37ixn5O7RTieBXIelvq0KJ2Jl
THbGAu214Ae9ozgWJsQMGM8vQ7bOr9XNbYU41nhtjhICRLcsOKlpDttQKcv4sULY
frUKAxu19qv7YzJBZpiNbWAyoKDH2DhEnrYDAEBHT3exwqJOUzu61qkM8rs6YxA6
HMr1hD2ZxTcCNH6274U2GA/3bhAN/ThdP5gYX+IK7VOSY11FkgRikN8=
=TpGV
-----END PGP SIGNATURE-----