[ubuntu/noble-proposed] coq-menhirlib 20231231+ds-1build3 (Accepted)

[Gianfranco Costamagna]

coq-menhirlib (20231231+ds-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:14:40 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-menhirlib/20231231+ds-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:14:40 +0200
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20231231+ds-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-menhirlib (20231231+ds-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a7f1c5feea7cd56d78bde650f0a8d7d0a738a2e4 2223 coq-menhirlib_20231231+ds-1build3.dsc
 f05b4258e02bed3f2ac24cf565bddc9ef2459b47 2136 coq-menhirlib_20231231+ds-1build3.debian.tar.xz
 d465d38c9daf2179698744fc178c7d527cf326c2 7864 coq-menhirlib_20231231+ds-1build3_source.buildinfo
Checksums-Sha256:
 3990d97d89a6ec4e0d2774738220dd8d68bbf2d2cfa5c099f2863dcc2590359a 2223 coq-menhirlib_20231231+ds-1build3.dsc
 73aac0cb42caac7e0c3b51b5ac0d3c5229b1dd98586d445caaa1c2f0648105dd 2136 coq-menhirlib_20231231+ds-1build3.debian.tar.xz
 b2a77386c3b6d13916d0bfef1b190f48f857529643284ca61f1eacac03b3edfb 7864 coq-menhirlib_20231231+ds-1build3_source.buildinfo
Files:
 6006bef686b12ed571bfd481ef788181 2223 ocaml optional coq-menhirlib_20231231+ds-1build3.dsc
 e2dc3a7a31049ff5c2bdd8282dea6529 2136 ocaml optional coq-menhirlib_20231231+ds-1build3.debian.tar.xz
 8e09bc39751bd6ee883c31d9d9d5d6a1 7864 ocaml optional coq-menhirlib_20231231+ds-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>