Thank you for your contribution to Debian.
Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 04 Jul 2026 13:31:48 +0200 Source: hol-light Architecture: source Version: 1:3.1.0+git20260619-2 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-2) unstable; urgency=medium . * Team upload * Add support for OCaml 5.5 Checksums-Sha1: 3f3445d7a0b5c86079047183d6976d436e478c08 2443 hol-light_3.1.0+git20260619-2.dsc ec4c672a9b57166658f86b0571a7879705c8a35d 11056 hol-light_3.1.0+git20260619-2.debian.tar.xz 1f19d028630983c6422267b95dc8050bce85fb3f 16065472 hol-light_3.1.0+git20260619-2.git.tar.xz d539cb0f6a52831f3ec85ee75b9d516a8e347b47 17562 hol-light_3.1.0+git20260619-2_source.buildinfo Checksums-Sha256: 8c36d55a1b3febc157ce4d100145db5b1aa33999d65b6ee6fbf017b71f346015 2443 hol-light_3.1.0+git20260619-2.dsc c47a7d4c5594c40498385b7d9f6afbaa3f16bc541d9f63d603b210a427460468 11056 hol-light_3.1.0+git20260619-2.debian.tar.xz 1b4d02effe950dc964d29f552f24317c0e5f95d00f2611489646cc260b27ff34 16065472 hol-light_3.1.0+git20260619-2.git.tar.xz 0b16c26e20f5706ef4423489f63c0dbced80ebb1d98621fe5e412cc323eead1b 17562 hol-light_3.1.0+git20260619-2_source.buildinfo Files: 8e6ba42dad5d427cf3ca5384879bf313 2443 math optional hol-light_3.1.0+git20260619-2.dsc d9f78658fe85bf3746afaee65956ef82 11056 math optional hol-light_3.1.0+git20260619-2.debian.tar.xz 2bc7f5014691d20b622a5c97a571c9e6 16065472 math optional hol-light_3.1.0+git20260619-2.git.tar.xz b760c436ada7a406a4ca3ec05151c3e5 17562 math optional hol-light_3.1.0+git20260619-2_source.buildinfo Git-Tag-Info: tag=20f35005598514f9d44032d5307d55aa7e7d6959 fp=6de24e97eca886cc56e6250e21b8eef1b1893081 Git-Tag-Tagger: Stephane Glondu <[email protected]> -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmpI76oACgkQYG0ITkaD wHn1Aw/+JXC63R705pXGkEzGrOQg+ZQs0xXucvBcqxEEJ5V+/p3b482v7MCS76ZO BPZKglNNPgKdOsWYWDcj2FuNNAu3KwQmYCcNOvKTnWzKK8DpTIO8vwrJuNqA3ioQ FEs5A8VV3aefEA90AQ70X4jOoIi2IQShSf2k61nkfqOy8Du+769rkI8GGbY0Kj2E +ETiL2WcMjp90wuj99D2Z0Oc6l2Q0MKYUJWvspx+M1JcVWqcbWR/keuZPzjWJcyV 15Erc3isOhnLMoz23RxoEmsj5T3SDtYAca5MbWv8eFhzpQf1pSxxwjy6/KyTTCVJ Q7uICRee8SoUHCduaexWFeARRra2XptAXKraboURqnVQcRpIR5+G7eoqBtRxoalz 8jL5joyaYZXTR66UICy0AwRlx0F2xBiQmwAF2LDbLs1zJqpyLFxFTJCmfudXZYMf Rm+w/EKBCiVRoDYPA0Csz1kKtlIWuZWUq6j+eSSLe0SxSgZwYJlqzjg9okYOacZc X1hVvFa+WSwKGCOf+BuHceTE+/mfeUqOwdG0qRqTo0Y50+XJFx6GFD7qU3OqyhJj wg+TfGmvjvcXRqDspLsn3FnZV1HbPvQeKbnB5kUeESpguQjYnx3v1FACqX78e4RS ejONkNeXCk6FJijd/EtLnpmE7uhR9ig6dM783rtGLTb52yp4bxM= =+yuE -----END PGP SIGNATURE-----
pgp_bqDy179xn.pgp
Description: PGP signature
