[ubuntu/resolute-proposed] coq-menhirlib 20240715+ds-1build7 (Accepted)

[Gianfranco Costamagna]

coq-menhirlib (20240715+ds-1build7) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:23:28 +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/20240715+ds-1build7
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:23:28 +0100
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20240715+ds-1build7
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-menhirlib (20240715+ds-1build7) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1db3b0f4ecfa69c6df9c3106c583a4c6a97788e4 2144 coq-menhirlib_20240715+ds-1build7.dsc
 3d43fd34abf67fb8fbf2edb99e7318b821155ad8 2372 coq-menhirlib_20240715+ds-1build7.debian.tar.xz
 7019c62bfa4940a7d5b7abd8b98088aa0fb5a548 7895 coq-menhirlib_20240715+ds-1build7_source.buildinfo
Checksums-Sha256:
 dbfd70975430ac71595d2b2aeb2676b0f09cd4a32f11a256a6ef1a765fd530e1 2144 coq-menhirlib_20240715+ds-1build7.dsc
 1689af36d7aa1c48bc77d90c4a9fc539638c7c4ed10f3ef8536d66f4d7070c71 2372 coq-menhirlib_20240715+ds-1build7.debian.tar.xz
 f83e952b9b420e106dab92d8cbe8407c73ef24639bb4620a1c30d414dfb0bbf5 7895 coq-menhirlib_20240715+ds-1build7_source.buildinfo
Files:
 462865ed358a7f5741222447a0bdab3f 2144 ocaml optional coq-menhirlib_20240715+ds-1build7.dsc
 f137205a1f78d9b26a92a34193883969 2372 ocaml optional coq-menhirlib_20240715+ds-1build7.debian.tar.xz
 f4d054e3e219cac70383c973187c29b9 7895 ocaml optional coq-menhirlib_20240715+ds-1build7_source.buildinfo