Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 26 Dec 2025 22:07:03 +0100 Source: hol-light Architecture: source Version: 1:3.1.0-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 (1:3.1.0-2) unstable; urgency=medium . * Team upload * Support OCaml 5.4 Checksums-Sha1: 82ec81ac589294e65e9b6b7e547a318641a0caf6 1850 hol-light_3.1.0-2.dsc 11e2425d9c9679f30a374fef81833f7fe69d7b16 19668 hol-light_3.1.0-2.debian.tar.xz Checksums-Sha256: 201a4403bb12ed5b101423ad2c41fc945258bbbe6d0b98676882c032041f6bdb 1850 hol-light_3.1.0-2.dsc 304ccb4547b87145a29a256c841be0853107c1329db7df7d69d2de098f01e4bc 19668 hol-light_3.1.0-2.debian.tar.xz Files: 6ebcbe66b0fea6ebe8f9e923855c3e8a 1850 math optional hol-light_3.1.0-2.dsc 3e51c42bcbc3a7843e9a8eadb4c640fd 19668 math optional hol-light_3.1.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmlO+TQSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBJacIAIAhbJbjKzkBxHhazAMiqrY43KnfS8OU YSH8Ovgws4L+zVqsunti/ytEYRNUIDQpE1P+U+/14hRl64UoEWVckk/hEmpxAndt SP4+9C9JySt6blecls+znMd8zCwy1FFAeHquPU2Ijqpw0XK1lkQq2PwnjZyNkhsv ehJfM+1SgYgGwxW9kh7NFR5TxxJUVrpd6S+dM7AQtZo4Zutf21basGi4hLqVo2Dq /tgNCn55PeTTQkTZHFNyELcUsGI7JPNqUmi0/xgQlUQDJEaXDvQ+oKga39/Xg6u/ POLJqbFI8fwfwuUp+bfrtTXu5RT4kNCc0mBvxHUYOAuY84CW7DCh5mA= =Zvxg -----END PGP SIGNATURE-----
Attachment:
pgpa5ATLvpJ5A.pgp
Description: PGP signature