[ubuntu/noble-proposed] coq-menhirlib 20230608+ds-1build3 (Accepted)

[Gianfranco Costamagna]

coq-menhirlib (20230608+ds-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:41:43 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-menhirlib/20230608+ds-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:41:43 +0100
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20230608+ds-1build3
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-menhirlib (20230608+ds-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e31cae505ad980c0924040fb81b7ae8a81622a82 2144 coq-menhirlib_20230608+ds-1build3.dsc
 fd353999841b1e906667d5bc7a4808f1c57ffa8d 1920 coq-menhirlib_20230608+ds-1build3.debian.tar.xz
 510dad0562d92a10b2d3ef3a70c4daf3f59d34f2 7844 coq-menhirlib_20230608+ds-1build3_source.buildinfo
Checksums-Sha256:
 49cc4a7c381a609ce71d87b6a7f4f232fec70a63c83e56740f5f35261bf42bb0 2144 coq-menhirlib_20230608+ds-1build3.dsc
 733368f8eda97817824943c4f170191c6132aa5f87790ccbfe6404ac14014083 1920 coq-menhirlib_20230608+ds-1build3.debian.tar.xz
 7429a8acf4f6bee803bd3332c60265bcd306ad1be479c7ca62cddeb055d00fd8 7844 coq-menhirlib_20230608+ds-1build3_source.buildinfo
Files:
 e1add51988ad0dea10690dc91b8a05e3 2144 ocaml optional coq-menhirlib_20230608+ds-1build3.dsc
 e6a3b28b2f9f8e78a15a033251f28064 1920 ocaml optional coq-menhirlib_20230608+ds-1build3.debian.tar.xz
 baaed8a3742d6140b5096be2f8321dc7 7844 ocaml optional coq-menhirlib_20230608+ds-1build3_source.buildinfo