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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:34:36 +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-3build3
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:34:36 +0200
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20231231+ds-3build3
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-3build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 9c4b6b85ff0c62ea62df8d26fcede59e333db28a 2144 coq-menhirlib_20231231+ds-3build3.dsc
 4d30c8c594ba18ea953f7079e9382075cebc345b 2096 coq-menhirlib_20231231+ds-3build3.debian.tar.xz
 907fc8f557b5edbaba750194b7bf40b0f4a507d1 7864 coq-menhirlib_20231231+ds-3build3_source.buildinfo
Checksums-Sha256:
 a00f250380cca74f8e3e9e55e85af7bc8165b3cb035e2d118cc12aadf35d2e93 2144 coq-menhirlib_20231231+ds-3build3.dsc
 c2d598f3a0067ec8f8ff5bf3387e72ae688d547a809abdc787b86f25b322f834 2096 coq-menhirlib_20231231+ds-3build3.debian.tar.xz
 c2fdde2cc97faf571b8bacb6e4b953e58aeb948e60525414d755c9616269f0da 7864 coq-menhirlib_20231231+ds-3build3_source.buildinfo
Files:
 e2b809828d55ea3ff7a7a6d18081b7be 2144 ocaml optional coq-menhirlib_20231231+ds-3build3.dsc
 24fcbaa321c2c065c86e56ba4bf7c515 2096 ocaml optional coq-menhirlib_20231231+ds-3build3.debian.tar.xz
 f9b751ca1175e4065915c3ecb64369e5 7864 ocaml optional coq-menhirlib_20231231+ds-3build3_source.buildinfo