[ubuntu/questing-proposed] coq-menhirlib 20240715+ds-1build5 (Accepted)

[Gianfranco Costamagna]

coq-menhirlib (20240715+ds-1build5) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:28:08 +0200
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-1build5
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:28:08 +0200
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20240715+ds-1build5
Distribution: questing
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-1build5) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 bed5622e4d65d7d86ede267d471e22599b7a64b9 2144 coq-menhirlib_20240715+ds-1build5.dsc
 cac871ce8127acae173286a3fe8686e5a04c12b1 2344 coq-menhirlib_20240715+ds-1build5.debian.tar.xz
 581b3f4b7dc3d5c8f7a3e2536749dc02c036fd19 6898 coq-menhirlib_20240715+ds-1build5_source.buildinfo
Checksums-Sha256:
 c5a7776ba8fe356e44f18bb65ca32ec3e14b65e8a864d7165ff75065f16c919c 2144 coq-menhirlib_20240715+ds-1build5.dsc
 35b51f4df051bc503538d00709f109e0a8f1ad94beed892efa37ac50e7dba8d1 2344 coq-menhirlib_20240715+ds-1build5.debian.tar.xz
 7b7112cd38f9f5cf6d51d3849400949cd10dfc35d0b2f69b16f9bcb7b5764b12 6898 coq-menhirlib_20240715+ds-1build5_source.buildinfo
Files:
 402042f9437d05e79c77342b9542a059 2144 ocaml optional coq-menhirlib_20240715+ds-1build5.dsc
 afb261d3cf3fd74060329f25c09c7dca 2344 ocaml optional coq-menhirlib_20240715+ds-1build5.debian.tar.xz
 16fa998e128b23da36cd8869361cabe3 6898 ocaml optional coq-menhirlib_20240715+ds-1build5_source.buildinfo