Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)