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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20230128-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.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
 7ecb42cd8835a8cd32a4d4fd4c9b57b122952d92 10756 hol-light_20230128-1.debian.tar.xz
Checksums-Sha256:
 fd392c124679f45560837a7dbbc7d75e691a550bbca7bc90478c0d9876e01d7c 7460915 hol-light_20230128.orig.tar.gz
 7d2afacb18ef182c97957ce5a8d5c6d4c502c6f88505d130904c60083e44409c 10756 hol-light_20230128-1.debian.tar.xz
Files:
 c1530f29b8d5f0b7e8812c7cc623f6ed 7460915 hol-light_20230128.orig.tar.gz
 9f9309c94d21a83048e25cfd7c046603 10756 hol-light_20230128-1.debian.tar.xz
Dgit: 9d490089aee4c2531ab6c4983904905603ff21cb debian archive/debian/20230128-1 https://git.dgit.debian.org/hol-light

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmPY+IoSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBkpoH/imXrcgZ9AsabbdeUuDFHh564FMmLVgP
0i3g4wlkDwWOysR2KuBOt6wq+re89rscgqT3ZQtKtEpC0fpO0qii1juFMI7zJepN
yqvwsxOMGgpQt5jOFf2vF5uiuYTJ2m8fQYJtx6o30Bepc9OaIyBL7CmvI7RXjS2Y
zDiEZoBWrjIuHAqOP0PK8CTGVqi9clZPoRXu+OFHCBH1PEFH+5vHW3X7VPBRMLis
gT7hRLwaFIZyQ9HkoUH+wFkOp60i7wf6pn2hZr9alV7rUnsb35uS88Y7wHpwb30U
h7PkvWLVJLgyspEnF23J0VyeDYqhh2vA7AGu8vI+3mtZncHhe0q2S88=
=g2N+
-----END PGP SIGNATURE-----