[ubuntu/plucky-proposed] coq-menhirlib 20240715+ds-1build1 (Accepted)

[Jeremy Bícha]

coq-menhirlib (20240715+ds-1build1) plucky; urgency=medium

  * Rebuild against latest coq

Date: Wed, 20 Nov 2024 21:31:43 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-menhirlib/20240715+ds-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 21:31:43 -0500
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20240715+ds-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-menhirlib (20240715+ds-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 44d0308c010b5b2ad691f9525a3405a5c244b9d7 2144 coq-menhirlib_20240715+ds-1build1.dsc
 45cde650fbccdb5d00ef21e8f79004be26fc8e9a 2196 coq-menhirlib_20240715+ds-1build1.debian.tar.xz
 a122eb5743644671f5a0a575dc4182bec250ee46 7001 coq-menhirlib_20240715+ds-1build1_source.buildinfo
Checksums-Sha256:
 572d71e41e66738da87cc9f2d8300a9d67f5d11ac14269b7976171118ad17783 2144 coq-menhirlib_20240715+ds-1build1.dsc
 eca4e78d7217da7e01a34d21c7f2dd14a3d44cf7371cb40a0e58c1f220805f4a 2196 coq-menhirlib_20240715+ds-1build1.debian.tar.xz
 475df369875591db344a185dccc9565dc06a95822f87c4dc8fa3c192d6fdfb02 7001 coq-menhirlib_20240715+ds-1build1_source.buildinfo
Files:
 9da5d038dd2b8e01aeba6b83b7b3ce9c 2144 ocaml optional coq-menhirlib_20240715+ds-1build1.dsc
 36f9e720cb5cbd8a9cae106899fc9b61 2196 ocaml optional coq-menhirlib_20240715+ds-1build1.debian.tar.xz
 95c756919db1a88fabc5b6b30420f596 7001 ocaml optional coq-menhirlib_20240715+ds-1build1_source.buildinfo