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

[Jeremy Bícha]

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

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:15:11 -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-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:15:11 -0500
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20240715+ds-1build2
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-1build2) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 afb5f5df07878128b742b79e90409952105269e7 2144 coq-menhirlib_20240715+ds-1build2.dsc
 4571f58e4512a17c2bd491224899fb12eb50b198 2208 coq-menhirlib_20240715+ds-1build2.debian.tar.xz
 a6ab53b69d20b7a52d4984e7801dd83bec421918 7090 coq-menhirlib_20240715+ds-1build2_source.buildinfo
Checksums-Sha256:
 06ac45f7597df74ab080e5c230364b34176581a0587a01e2fe33f80d90bda275 2144 coq-menhirlib_20240715+ds-1build2.dsc
 6528e3174ee9ada0a777f846dd79291e280108e0bf17a9e0aa60072401d2d1f2 2208 coq-menhirlib_20240715+ds-1build2.debian.tar.xz
 ba004cccced75730a3008203247fd74357b9cf714174b38d51516eda07fd09f9 7090 coq-menhirlib_20240715+ds-1build2_source.buildinfo
Files:
 64374f3a68ac8b2de222d9593b4ab303 2144 ocaml optional coq-menhirlib_20240715+ds-1build2.dsc
 65806908aed6620c6ed237d3e71c4ef5 2208 ocaml optional coq-menhirlib_20240715+ds-1build2.debian.tar.xz
 08d9bc1ded4a6c59a459d8644cb62463 7090 ocaml optional coq-menhirlib_20240715+ds-1build2_source.buildinfo