Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sun, 30 Jun 2024 10:31:46 +0200
Source: hol-light
Architecture: source
Version: 20231021-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
hol-light (20231021-2) unstable; urgency=medium
.
* Team upload
* Fix build with camlp5 8.03.00
Checksums-Sha1:
cf9b9225e7e21650f69c77879117749a4665dbd9 1833 hol-light_20231021-2.dsc
57de56d51207d74c0c0cca31c2cb08b511f833f0 33032 hol-light_20231021-2.debian.tar.xz
Checksums-Sha256:
2cf5b999a9e8115c8f1172808550fbb6c8314cba55bba8f6f6d70aecfe5f91c7 1833 hol-light_20231021-2.dsc
24c31a2ce03216db6e257dd286e531d3a322ef86fe8eef250d3229e0043e12bc 33032 hol-light_20231021-2.debian.tar.xz
Files:
1b608a66ccce3bc5979dd1c95ab5b103 1833 math optional hol-light_20231021-2.dsc
62f5088477edba9f64c34e4d20dfa69a 33032 math optional hol-light_20231021-2.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmaBGGkSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBMh4H/AqZBSh45OAeJwZjfQHvG+YDRDN9uV9I Hdcsp6cVv2Gh6AQOCubZ8+Rpg1/kkzrvsoEZ9ubDjHlPQmcqJL25zUnqqVj+SKwk mI88Ws7Czcav0YRjk7GnhSZySzvVJf1TwlrRRHqJYre2E7YLMoaCM6iUxbcMtndF 4BUYYKc49JTXxUK3KxuokoKVypgjmNFq0VuuMCzdKJjXkh48gAdjvbGltAbh7HIj qBXhUGylslOU0JxattN6vWPTX9Tv4qtBa2yPdjrUizMCImECxa2Ru/WRg/USBn6Y ++kSubRIrwbA9LDcRwv/lroCFLXbn4Btuc8EOUpDoBuLKWrcffal9F4=
=nOyH
-----END PGP SIGNATURE-----


--==============‚82264077012347797=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZoEfxgAKCRCb9qggYcy5 ISqNAP44WXdF/9fys3nxswtLDnCwuIMve0FRVkHHlj/y2opLlAD+MtYsbuXp0bh1 +JtpJpGIZ3q1I6NRdxqRWRwCrBrluwI=MTxg
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)