-----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-----
