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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:20:29 +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-3build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:20:29 +0200
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20231231+ds-3build2
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-3build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a20c57b845bc2660e8a69f1f82c0e9c929db2473 2144 coq-menhirlib_20231231+ds-3build2.dsc
 95653b0bdfa433eb70539543a68874c4db5d9ee1 2080 coq-menhirlib_20231231+ds-3build2.debian.tar.xz
 105006a2711936c9fe43314c5e324d3ab9afbbb2 7864 coq-menhirlib_20231231+ds-3build2_source.buildinfo
Checksums-Sha256:
 9b87e59c022d3309948f2d14a26db6bd35a7f8582fca2a4aadefc1a8cfaa9f1a 2144 coq-menhirlib_20231231+ds-3build2.dsc
 ff8915379a6c07ccdccd237c2b3a2332b6890f02fa9e0f62ad9ebc3a4172b033 2080 coq-menhirlib_20231231+ds-3build2.debian.tar.xz
 2332fc82d8e81d0d6c5f351991749c5c8e5e519a7b615e0eacfbd1d909193117 7864 coq-menhirlib_20231231+ds-3build2_source.buildinfo
Files:
 53026ea340ade49445fcba1105d87fb0 2144 ocaml optional coq-menhirlib_20231231+ds-3build2.dsc
 8c9d277e1074fc428b8a4472d6958b81 2080 ocaml optional coq-menhirlib_20231231+ds-3build2.debian.tar.xz
 8f038355417b65c9d8b04f19bbab1f83 7864 ocaml optional coq-menhirlib_20231231+ds-3build2_source.buildinfo