[ubuntu/mantic-proposed] coq-menhirlib 20230608+ds-1build1 (Accepted)

[Gianfranco Costamagna]

coq-menhirlib (20230608+ds-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:11:19 +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/20230608+ds-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:11:19 +0200
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20230608+ds-1build1
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-menhirlib (20230608+ds-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7dfe6d167549cbf26f0828b90c795efbcc26e982 2144 coq-menhirlib_20230608+ds-1build1.dsc
 f5b9d1e8d467d6c52c8b94b64460586f5bf604b0 1888 coq-menhirlib_20230608+ds-1build1.debian.tar.xz
 e62aa86e6e449a9e547a5a691d9633a6ad45d43a 7818 coq-menhirlib_20230608+ds-1build1_source.buildinfo
Checksums-Sha256:
 e9ff74a5aa8262265ee7a452fe715641520d6bb1890bb10fba8cc63f1f11aee0 2144 coq-menhirlib_20230608+ds-1build1.dsc
 fb7ce67e60f234e70e03a30357bbe071d571e96bf65f0d92e3dc418932352609 1888 coq-menhirlib_20230608+ds-1build1.debian.tar.xz
 a81ddf9ed95ca7524912217d2dbb7672a0cabb958576fc5717becdf5609c122a 7818 coq-menhirlib_20230608+ds-1build1_source.buildinfo
Files:
 4c5c4d61d21ac2e8516a46718f999a9c 2144 ocaml optional coq-menhirlib_20230608+ds-1build1.dsc
 d3d7bd3f04a46a8f7b33fc2407ad6f16 1888 ocaml optional coq-menhirlib_20230608+ds-1build1.debian.tar.xz
 a8ecf8480e8e0e9cee1a6d635e823c14 7818 ocaml optional coq-menhirlib_20230608+ds-1build1_source.buildinfo