[ubuntu/oracular-proposed] coq-menhirlib 20231231+ds-3build1 (Accepted)

[Gianfranco Costamagna]

coq-menhirlib (20231231+ds-3build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:09:55 +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/20231231+ds-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:09:55 +0200
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20231231+ds-3build1
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-menhirlib (20231231+ds-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b45479eaa4cee9eb969a6ee9fe579aea73310eaa 2144 coq-menhirlib_20231231+ds-3build1.dsc
 04e3d21fa9e93773317d04957283d0e9658d8c69 2076 coq-menhirlib_20231231+ds-3build1.debian.tar.xz
 bf2cdbedba85f0ee65d1d33c0bf92aa6a6530209 7864 coq-menhirlib_20231231+ds-3build1_source.buildinfo
Checksums-Sha256:
 bda43e27ebbad80e72e18b0be102bcfc5481c0dc888ba4ffc39a8237654072ed 2144 coq-menhirlib_20231231+ds-3build1.dsc
 43db0f13da949107057fe49bd9a111f1fd622e1f85b639aa7bc4cd4c5f9a399e 2076 coq-menhirlib_20231231+ds-3build1.debian.tar.xz
 6f6283e5327e93c2d62c6f84856181651576508214684e60845959054d9e57db 7864 coq-menhirlib_20231231+ds-3build1_source.buildinfo
Files:
 36bb3bf3a003a1fe01377b800d3309d1 2144 ocaml optional coq-menhirlib_20231231+ds-3build1.dsc
 5c6f19a0135a76ed9d0842326f475495 2076 ocaml optional coq-menhirlib_20231231+ds-3build1.debian.tar.xz
 03cde469a692f207e84ed5d560201f56 7864 ocaml optional coq-menhirlib_20231231+ds-3build1_source.buildinfo