-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 07 Sep 2023 03:44:32 +0200 Source: hol-light Architecture: source Version: 20230128-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 (20230128-2) unstable; urgency=medium . * Team upload * Add support for camlp5 8.02 * Bump Standards-Version to 4.6.2 Checksums-Sha1: ee12616e32ccb8a2a4e691e52827c2745cb456a1 1833 hol-light_20230128-2.dsc 880bcba83fa16d103b4a2cb3df723db36fb3228a 32920 hol-light_20230128-2.debian.tar.xz Checksums-Sha256: 3659220d62cc321b4a487db426a09e6a1a507bc0e1b3603245c26821dbeb8905 1833 hol-light_20230128-2.dsc 23a4239d868163a313ac22825d974460ef1dcf3a141b8936d9b3a3cb520b16dc 32920 hol-light_20230128-2.debian.tar.xz Files: b8904d79da9d5c45b3e6ae34f5407980 1833 math optional hol-light_20230128-2.dsc 513b1db269901ff7325e732a54a8cca8 32920 math optional hol-light_20230128-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmT5LgESHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBpm0H/j7hUr296fx+pQAK8dWwA4C/xvF8gaVC 1Q2S/hJscnMszWtw/ctt95RlVp8R+a+FuztgfyPSAsSsjfowCj15oPk4+WNuPEmz nVOG1fsZis6Tc79mO27w+0lkJ5M+4pGa3Rz/1AqSingoH8DgTfBVtudqFY7VPyjj unUUIPFN0AbNrHQ2u1QyQXSXK12bOWaJeHZtUFiJPySD66yUqYlgMiwRj/2q+a9c W0PBq+yiaPLmvSTftbGquXD2EVjAl9HIgWIdD+Z6imvW0zMhdcBua0qpdLLJnmJA t9uInQlvWUs1Qphe4IT0JXKSYLOsGqRW7AlC8NbMnwYyk4T4t045hUA= =bocs -----END PGP SIGNATURE-----
