-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 30 Jun 2024 18:05:34 +0200 Source: mcl14 Architecture: source Version: 14-137+ocaml-3 Distribution: unstable Urgency: medium Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org> Changed-By: Andreas Tille <tille@debian.org> Closes: 1073885 Changes: mcl14 (14-137+ocaml-3) unstable; urgency=medium . [ Stéphane Glondu ] * Fix build with OCaml 5.2.0 (Closes: #1073885) Checksums-Sha1: 59c63d4797fa4e948a8eea4394e1aed75beeebc0 2118 mcl14_14-137+ocaml-3.dsc 409ab0aa5b234442801f29dc34cc914a6b3675fc 53276 mcl14_14-137+ocaml-3.debian.tar.xz aee5800d6fe69562be0109cf2312494760bdc1c4 7110 mcl14_14-137+ocaml-3_amd64.buildinfo Checksums-Sha256: f12e07b0deb4082c6731797b41790fd58b0f65f2e39d3475b01f1718ea1ee386 2118 mcl14_14-137+ocaml-3.dsc dacdd02af4971a7c5722fc38503d9f34ed6b11375f7e67df539285a350e9d8ea 53276 mcl14_14-137+ocaml-3.debian.tar.xz 9b521b4c2118b3e10acf8b4c1196e28ae979b8324c4e2f1b7b79521e57ec442c 7110 mcl14_14-137+ocaml-3_amd64.buildinfo Files: a8c0a96acf5de48ebbdef688e23ed163 2118 math optional mcl14_14-137+ocaml-3.dsc 1777c941082e13812212a35d0c579a03 53276 math optional mcl14_14-137+ocaml-3.debian.tar.xz b63d671bdaaa2a8334bd05328383d3e8 7110 math optional mcl14_14-137+ocaml-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmaBgu4RHHRpbGxlQGRl Ymlhbi5vcmcACgkQV4oElNHGRtEtZg//YtcCrKR4t1UmMDgkOAWI31fUzUc1e6wo T/Oj/jN/tHBm/5XcOOlpU/e+obbyfqnSKBfDelZXf553EtQ1ePiF1fhZeWLmDV4x RX3igrt8nI2Y/m8/19J/RmrttTxwAvEYCyj5UPccB5Lhg9XAit1KNllUILuaujqn zKTVv5n6uCF8mKqgzrUmlK2LHr80SU7uqS2/7/SaXZk0IRYuUVPlM/aQl3tIb0bv PDVGrXYHcOgFFiDBnd1DUaKZ7iU8shXGqwuqTTpPbzH5lHVufxkBg1HujLVhotd7 VASdXa76CbLUhRZo5NwTJ8h0Mq0Yf9J/aTfT4wd1813Oz9Ymha1ekdGkPnHtCSuu P0NwPtv1kPBZgsVNCFfIYzixkXUQNx7yuKUriTn/Q0I6aEyCAHk7gBAgRhRjKJox clfrd+GcDuwsdxMHHJGCydLBCWNBxjH1t0llCzsoteOeR+ECHtJn8dU3c65RfZeK D6emYMFVMWLQfuhsnJnNf3HQWj4/Mfu8Ortj64SwyoAbmDXJ34qUIM5WhMJvJvYo e1Vd/hSDirYzUcFp+hlM18JbzTZaB4mCbh83zPtvnMqSYRCSFK/vCHKFtwQhd+H4 zywZBYzrVOs3+N3jscKLBAH9E6Tv+gFo36x3FiDrxU3eqz86ClEfTLggUlYX+aWI TVkKdNYz4lk= =zkRP -----END PGP SIGNATURE-----