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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:38: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-4build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:38:36 +0200
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20231231+ds-4build1
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-4build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 6de907e7c7fd2db7263da135672da1de5c75323e 2144 coq-menhirlib_20231231+ds-4build1.dsc
 37bff108b152603b1e83a466d6308bda06803776 2172 coq-menhirlib_20231231+ds-4build1.debian.tar.xz
 4c5d062b9c8da10f5cefc95460b0f70ac75b7327 7888 coq-menhirlib_20231231+ds-4build1_source.buildinfo
Checksums-Sha256:
 d7e6ec0049e6ab8ac4417d9f2cf93384f0153c56a41d1099b176c66e59e87a89 2144 coq-menhirlib_20231231+ds-4build1.dsc
 0e04b365dd9e4aff337ecf40784895ef130ddf9c9031c631e993c64284103ca4 2172 coq-menhirlib_20231231+ds-4build1.debian.tar.xz
 705feb774398ced00a5d526e5c37848bf3184d707e77fc7104703cd7ff816111 7888 coq-menhirlib_20231231+ds-4build1_source.buildinfo
Files:
 c294b494c044a2c0d8b4a1ca3b41bc1b 2144 ocaml optional coq-menhirlib_20231231+ds-4build1.dsc
 8062533ec67025dc108323878f010580 2172 ocaml optional coq-menhirlib_20231231+ds-4build1.debian.tar.xz
 3a4930e6398671844f8eb40eff8f2655 7888 ocaml optional coq-menhirlib_20231231+ds-4build1_source.buildinfo