-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 28 Jul 2026 08:50:28 +0200 Source: menhir Architecture: source Version: 20260209+ds-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Closes: 1142901 Changes: menhir (20260209+ds-3) unstable; urgency=medium . * Team upload * Fix installation of manpage (Closes: #1142901) Checksums-Sha1: 1cd7a3c0562af02733461d51bdd8270010b8a0d8 2575 menhir_20260209+ds-3.dsc 0dbf02dddd862c238d3737d55fde59eeb6bbf019 14104 menhir_20260209+ds-3.debian.tar.xz 88831d931e652745dc2643ae5e64f85769c7f670 2055660 menhir_20260209+ds-3.git.tar.xz 0a7e024a2fab3e77a89bc8f1c965b9c75ce78d7b 17566 menhir_20260209+ds-3_source.buildinfo Checksums-Sha256: 0cfc3ced04d9f902048d90a47ed1a41dea4b0dd3900c4a250d470b1f698155a3 2575 menhir_20260209+ds-3.dsc d511dc862742e41416960e1641c9d4f5a87b4ae3ea80918962077aa5dd6d288d 14104 menhir_20260209+ds-3.debian.tar.xz adb062519e9064e5c3c3e01a8e874f30927560b24e46058b9db484cd24fa891d 2055660 menhir_20260209+ds-3.git.tar.xz 03e9d7af92d820a37f59824deeb85294db2e96024473bc7ea88c4a3cee7fca8b 17566 menhir_20260209+ds-3_source.buildinfo Files: d1cff6170d3300d230e9d9629f81cb55 2575 ocaml optional menhir_20260209+ds-3.dsc f0ffbf545b1ecf9f6b5e1cf36ff14636 14104 ocaml optional menhir_20260209+ds-3.debian.tar.xz 1cc6695be5bceecde02ba77672e8138d 2055660 ocaml None menhir_20260209+ds-3.git.tar.xz 238ccb70af17eae7300ca0edd1425491 17566 ocaml optional menhir_20260209+ds-3_source.buildinfo Git-Tag-Info: tag=ce17d43ea4b3f74695efb394c23802a6ddfdbf72 fp=6de24e97eca886cc56e6250e21b8eef1b1893081 Git-Tag-Tagger: Stephane Glondu <steph@glondu.net> -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmpoUf8ACgkQYG0ITkaD wHmgKg//VJloQia4h+U9ewlliGQbfldZoq4KmKT0qZ4ho8CIR9JQXF19gApVyh3b qnw6useuh6RVOcVtiDVPX9O9zxS7TZPKThJZASSw3lQDwBGCtB+OU2ONKixui7YH gQkrG1qdYCAgTqdYIKcvm1owmALKoxgVYqm4zwle1nhc0J9TLTmfDkyq3YtxOEYn wYXrp79edasUaUikxqUKNFpYG4DSmtA9EQqhNeFu9uN2J3cnqvpJvZ79Tm3cjM3t +yNET6IjxOb2kePWJICqy8ORzhmcI82IrC57jnM2XRGybwvoQrTaFu+vyQWH7JzR nSw2D/RFP969/uov9dt0FSfd+lhOtWqrZVlsoM1EByhXl67ROrL4EX0jFbNFitOA CoKYjoXlc+bSo3zmJ3eV8Br9Vpejh2BiRBq6v3tWhAH2PVhs9ylQC6MkXCIoT4zy BzOSgXK7j1P/YT22v+BJxrDadNHilli0GzjddyD4TEaXyHBw0fLwDs8I95jOD+zf rY/T/adm8U7yelm597nK1hjpqQouAIEae4zboJO3KMMBZQGGecKNZjW/s1K5EYVz oe8ptfrjdN9TknQT0hvd+6ETzdN8F8K5AzMEjEJINtTB6KJY+iLlePoG+bGtJ9tR 8VYktlY8vsCe/MsdZf8fsuOzwAsZkjh1YRM+53aOhvGEcg0HUK8= =dHJj -----END PGP SIGNATURE-----