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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:29:37 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:29:37 +0100
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20240715+ds-1build6
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-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e985600fc7b84577e8828f5625c88d1fc3d4ac69 2144 coq-menhirlib_20240715+ds-1build6.dsc
 8f83bd61af049e7dd7f06005cb16178b0cc3929a 2364 coq-menhirlib_20240715+ds-1build6.debian.tar.xz
 5d0291c2bc040743b5d0a5c6ec224da6c98fc1e7 7891 coq-menhirlib_20240715+ds-1build6_source.buildinfo
Checksums-Sha256:
 15beef9214350bd636daa3972a567377800c3622932f824a02a4c45458e7a486 2144 coq-menhirlib_20240715+ds-1build6.dsc
 e84e45a1e245c519c0f3363a389388ba02a6fa1f75665062ebdcd8daf231def0 2364 coq-menhirlib_20240715+ds-1build6.debian.tar.xz
 f85d1ac8d2105a59e0c49fdc0a9251056291400d9e45e8bb8bab5018c4203e28 7891 coq-menhirlib_20240715+ds-1build6_source.buildinfo
Files:
 fdc393dac2f12d3179a5df7ee0019372 2144 ocaml optional coq-menhirlib_20240715+ds-1build6.dsc
 aec908024d9aa3a86a888f02c912b26b 2364 ocaml optional coq-menhirlib_20240715+ds-1build6.debian.tar.xz
 919bfcb2a95f7f4b4af1a2ee0213a179 7891 ocaml optional coq-menhirlib_20240715+ds-1build6_source.buildinfo