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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.1.0+git20260619-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.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
 ec4c672a9b57166658f86b0571a7879705c8a35d 11056 hol-light_3.1.0+git20260619-2.debian.tar.xz
Checksums-Sha256:
 31414bb6b50fdadb6d56fd011d1bdc9b8eeca360e16885c10e44edee7b98de72 6363232 hol-light_3.1.0+git20260619.orig.tar.xz
 c47a7d4c5594c40498385b7d9f6afbaa3f16bc541d9f63d603b210a427460468 11056 hol-light_3.1.0+git20260619-2.debian.tar.xz
Files:
 cb7259565817cda6611a3f9202ba0c76 6363232 hol-light_3.1.0+git20260619.orig.tar.xz
 d9f78658fe85bf3746afaee65956ef82 11056 hol-light_3.1.0+git20260619-2.debian.tar.xz
Dgit: cee73dea68b275030608114c55bf8e3b469198a8 debian archive/debian/1%3.1.0+git20260619-2 https://git.dgit.debian.org/hol-light
Git-Tag-Info: tag=20f35005598514f9d44032d5307d55aa7e7d6959 fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stephane Glondu <steph@glondu.net>

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

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmpI76cACgkQYG0ITkaD
wHn53A/9G+A4IYluiNfdYrG/0ii98IsjSd97QpQxJPjz6i71RWA65UyhkRB7Pah2
jwPJFioMKK9GiekZaNQY0+YmPN7uePkq+04teQYEKJ+Tl5dXvVsvHWJaasKTRV9I
RBAMfd0Q824GIsRxtn+9q6ZkMi717YG6ZaMMhCn41j9m3AUFbUo7bWCj3/JNMyrz
AdCf0Jc27Mg8czAK5tbxJXxuYIMMFXw/HSxmPr0sFrn2ZZAbpGP9rNsehDB4ZOi6
atN6yuugkCchb1cLHwNfdE+3yQtVE89tMQTFtDFtS7EFkY2w7HYBT0d82IakHjUA
FrAoposZcmjkF4zdQQKitYczyq150QNbZAQ5SX5Zxa+S4LLaI4oD1dqY0jX2oPtt
49+CUFYbJ/Js1ceuv0OeYBkgwJmEUp76+vKuOZngChpa170f+gUhiHbFpbk9fAIE
49h5uMDT6o42+iI+eM23Ualr/sCkmyqjFf5DTRnyPBr0kAVJ4knHXa755+2i3OWN
0lOkNsWqMxeO7lv1l9s7VjXajiCRXTcHOZ5g+O7EZeKm5+FE3QADUlOedAwQB+31
ozRWvy/o8P/39bqr2wTV+nKpSnbZ0cokp6Ynwwt2FG+KrU9nvTP+d8fQPtTEABy+
qeA3hFN1fw/2C7yejuXLfb1h+8yfs8IwNic6MCcNQmOswyzx+Vk=
=u1nG
-----END PGP SIGNATURE-----