Thank you for your contribution to Debian.
Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 02 Jul 2026 15:52:48 +0200 Source: hol-light Architecture: source Version: 1:3.1.0+git20260619-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Stéphane Glondu <[email protected]> Changes: hol-light (1:3.1.0+git20260619-1) unstable; urgency=medium . * Team upload * New upstream snapshot * Bump Standards-Version to 4.7.4 Checksums-Sha1: e6f9143fbcff51d1f6ba24e5ab47fb41a8147401 1946 hol-light_3.1.0+git20260619-1.dsc 732c39395f5e4f72f679cbf40847d055785cbcc2 6363232 hol-light_3.1.0+git20260619.orig.tar.xz c144684c1f69aa0db21a23df16069a8e78284ab0 10756 hol-light_3.1.0+git20260619-1.debian.tar.xz Checksums-Sha256: 9e04489116bb671617b2d37bdfa76b6664a7008743849e92e27493a09c6daae4 1946 hol-light_3.1.0+git20260619-1.dsc 31414bb6b50fdadb6d56fd011d1bdc9b8eeca360e16885c10e44edee7b98de72 6363232 hol-light_3.1.0+git20260619.orig.tar.xz 0c22472e218fdf0c632b668026cc42233ccc7633c4c70647844c90a8258fee36 10756 hol-light_3.1.0+git20260619-1.debian.tar.xz Files: e31d5c49251ffd90a0eaa48c0a2852bc 1946 math optional hol-light_3.1.0+git20260619-1.dsc cb7259565817cda6611a3f9202ba0c76 6363232 math optional hol-light_3.1.0+git20260619.orig.tar.xz 8ac3baf59c3bc488a7056d7ccf10eeb5 10756 math optional hol-light_3.1.0+git20260619-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmpGbmYSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBFZQH/1RjG+HZTnm1IlU6NFUr1aPk3LBWhg1B fnDWmoMRznnv61Ki32ksmfWL+Wh/terSg5pLQFqWPJMnu7I+olz+zqPLw2njLYWf ZIBKS/vIihOm/0EJTPs/6IWIizM4leExH55OleeRl0xrkXUE6gsI15L2VC8JjNgP LNhuMolQI6O9G0e3tee7gq9aCU/lITqzaOkauc9C/XCOPKgPw+xlggvXd3xve7AK Fc4kk3Ge13Z9lbSnZdjjn+uchngsg6kVIhWls7D84iWrp4MzywRYljKN4TuvkAL+ 8eGJStH0+9OeZ0ZXFSO9rng4ej4uvQuVnFPNHgzswlew1G8+wIrueNU= =mqcf -----END PGP SIGNATURE-----
pgpYD9OhKJmj1.pgp
Description: PGP signature
