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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20231021-2
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.2
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
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 d4005d75d8028503f8c06f84fa71762ab092f8f4 5043576 hol-light_20231021.orig.tar.xz
 57de56d51207d74c0c0cca31c2cb08b511f833f0 33032 hol-light_20231021-2.debian.tar.xz
Checksums-Sha256:
 b40b15854ea6e2d58d0f992829d9e6a22a5099eaaf02c5fbf4e642337de9995c 5043576 hol-light_20231021.orig.tar.xz
 24c31a2ce03216db6e257dd286e531d3a322ef86fe8eef250d3229e0043e12bc 33032 hol-light_20231021-2.debian.tar.xz
Files:
 c469439d4b3e430d4142d4baa03cc59a 5043576 hol-light_20231021.orig.tar.xz
 62f5088477edba9f64c34e4d20dfa69a 33032 hol-light_20231021-2.debian.tar.xz
Dgit: 3b61f1ee470f90545c6f867bcbbfdefc41bd7860 debian archive/debian/20231021-2 https://git.dgit.debian.org/hol-light

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmaBGGkSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBlfEH/1x9Jxo+HWldQeiDou9b0lTWm5roqSYd
FpDNFfKGAIwqbwfQEMlqlBh3gCSUtY8Nha31/54MsgJ3Qk8GblevnC5jS99/6MkS
5lw0bSUyIQ24DzanlseobECB8Cu/eV6u1k2SLvxbOks5qppPkjuuuEg3xKLTQOy7
95BcunserNqpqnOsT2RPobjCQLApYqdwF+GYTTseIFZUMFIo0fgVjKmnyrgsFiba
mOFRNZLT8QIY0iTRW2cXXqss1NNQMuqVxOPy6DRf4vbFKNjuiqZx9XFzeMfbMQvA
uoK8UQ0ljpTlqTaELSJmu/2F+RGT/pRWGnWz8OlZgvv+Hpy7G59iPUw=
=n9kF
-----END PGP SIGNATURE-----