-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20230128-1build1
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.6.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 (>= 7.11), libnum-ocaml-dev, libcamlp-streams-ocaml-dev, ocaml-findlib, dh-ocaml
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 e9003be666264dc341f25208847288a8cfe7153c 7460915 hol-light_20230128.orig.tar.gz
 afef825e2d056af0641b4e80498e96ebdc7a6bb2 10812 hol-light_20230128-1build1.debian.tar.xz
Checksums-Sha256:
 fd392c124679f45560837a7dbbc7d75e691a550bbca7bc90478c0d9876e01d7c 7460915 hol-light_20230128.orig.tar.gz
 f96ec4a20b651bc21ec582d4c2b7ae58677b1c6ee87dcdc1da5a67eb0b0863ef 10812 hol-light_20230128-1build1.debian.tar.xz
Files:
 c1530f29b8d5f0b7e8812c7cc623f6ed 7460915 hol-light_20230128.orig.tar.gz
 5d081c15e25b3257fb299d39af784828 10812 hol-light_20230128-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmT49T4ACgkQ808JdE6f
XdksKw//eNUSMoP8NAB0rhJqg5Jibg/wi9z/dtpN7Gf1I1GzvKGIZ82tuhS9Z1r4
YpApQbFLnLcKHo714CDv1+LgR5BrPb1avbEqrCFUeGMuInQAzlsbbjSzf8Nb/Uf5
JlVNHsp7Wu1qUnXkuHavI/KOF5AMv8dQRBj1pA7QP3GXaENQZEdsTIRfHXVRv2M1
ZhQExf+Y7xUyXJArvEGKFUqcT2OF3x2glWxP4kYAHbtyP9WSjnawsIHnUNwD/CZW
BhMij8t1p/w/NBUV9YjaT2UK+H9LPJaNutCeXFae5E1vgaXyWxw6tAZSepanSOTe
FTi5Qb+CV2/V8iT3QkbpO9f5B+4ICb8k6nNA+5yZ4b9DAMw6WhcuWa4vtDBjwRtt
IvD3dmGDFo/0zJhKpTDFy0nKCf8/Q1RHpNAdLUMcWVr/uCNm8jDMLI8E8b/8tPP5
QeQbIGeWMvXYPqwe2OJU4yTdGJRtQBBRdBSHpVQx1pmPvwQfSL8VzmDUdAXGuNft
rm8N4lsrYqtjdL9ovS8uWKl432FBBWHcUkqkCTSGq0rSdtXSfEpCyB0AZ/Z3YTot
zWP6k2rdsCW0RajjwtqHHZPFUPm9uNAKPcQ5nskfpUCfULCIyD3gnI1KRQuguSYQ
HGtHjGkBww8ZMyhj/C1BLKQmw7Qu5WSGl1XXBDhGyEwf8Wz3YGo=
=xhsp
-----END PGP SIGNATURE-----