[ubuntu/lunar-proposed] coq-menhirlib 20220210+ds-4build2 (Accepted)

[Gianfranco Costamagna]

coq-menhirlib (20220210+ds-4build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:28:51 +0100
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/20220210+ds-4build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:28:51 +0100
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20220210+ds-4build2
Distribution: lunar
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-menhirlib (20220210+ds-4build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 f2641c87e28152a938d9c0af76130a4a0d3b20a8 2144 coq-menhirlib_20220210+ds-4build2.dsc
 ff645ac1504d689cb80b73f2b7e1be9d763266c5 1840 coq-menhirlib_20220210+ds-4build2.debian.tar.xz
 13654609ecd9c32cb0531b33608bf0930e570242 7184 coq-menhirlib_20220210+ds-4build2_source.buildinfo
Checksums-Sha256:
 1599a31ef96b639c5d25a234ae16836f9fe879d0a0f32cc59c98a4966012f0e8 2144 coq-menhirlib_20220210+ds-4build2.dsc
 afac66d8917b950a6013fb04c5a56045714927e833bac06bfb4e18dd14330554 1840 coq-menhirlib_20220210+ds-4build2.debian.tar.xz
 9876c27c2c15253042a7e69c5a8b441e21ce43351d54c7653cc0657def896529 7184 coq-menhirlib_20220210+ds-4build2_source.buildinfo
Files:
 1ad9ab9ddbd3fec622b51d638d2781c8 2144 ocaml optional coq-menhirlib_20220210+ds-4build2.dsc
 e93ea3997496a217337d3642a1bf7d72 1840 ocaml optional coq-menhirlib_20220210+ds-4build2.debian.tar.xz
 7b0024009ada894bb285209bb77062ce 7184 ocaml optional coq-menhirlib_20220210+ds-4build2_source.buildinfo