[ubuntu/plucky-proposed] coq-menhirlib 20240715+ds-1build3 (Accepted)

[Gianfranco Costamagna]

coq-menhirlib (20240715+ds-1build3) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:30:26 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:30:26 +0100
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20240715+ds-1build3
Distribution: plucky
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-1build3) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ed82c1fe9229448e3bdebd6a071947ee21aa4fc7 2144 coq-menhirlib_20240715+ds-1build3.dsc
 5108203c55b309097debde35457f96cf6c7544d2 2264 coq-menhirlib_20240715+ds-1build3.debian.tar.xz
 053bfe55ce0febcb9ad145bd14ceea35bc3282c3 7335 coq-menhirlib_20240715+ds-1build3_source.buildinfo
Checksums-Sha256:
 a8fc4566f8534db640de45fa42a7a08cd27379280a2ff2c8a5438d3a6c0f8833 2144 coq-menhirlib_20240715+ds-1build3.dsc
 c55149128112a3b4919aa67ae4bddb457db7a9cc16cb191fa148db549182e3f2 2264 coq-menhirlib_20240715+ds-1build3.debian.tar.xz
 361b3482492e8885ea6e4853f0293f9bdb879e5bec5fceff57536c2697dcc8cd 7335 coq-menhirlib_20240715+ds-1build3_source.buildinfo
Files:
 6c3abf45c9e09442de7ec7ed34c697c8 2144 ocaml optional coq-menhirlib_20240715+ds-1build3.dsc
 2e46f963ab91fe2b45c77dbaa363a05a 2264 ocaml optional coq-menhirlib_20240715+ds-1build3.debian.tar.xz
 0630c785139b1d9e078371b17cbcd62c 7335 ocaml optional coq-menhirlib_20240715+ds-1build3_source.buildinfo