[ubuntu/noble-proposed] coq-menhirlib 20230608+ds-1build2 (Accepted)

[Gianfranco Costamagna]

coq-menhirlib (20230608+ds-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:12:24 +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/20230608+ds-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:12:24 +0100
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20230608+ds-1build2
Distribution: noble
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-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 201bf07add74f4306fef75d91a937748c41b8542 2144 coq-menhirlib_20230608+ds-1build2.dsc
 5f8e9904ba0be81b4fb569e2a0ac738f61e594e8 1900 coq-menhirlib_20230608+ds-1build2.debian.tar.xz
 4043500b3e378d4d631f166068c7786f498668c0 7844 coq-menhirlib_20230608+ds-1build2_source.buildinfo
Checksums-Sha256:
 5b99d24460c44ab099f850e7fe19d506f8a62da4e9aa712d32c95abd8e64dc68 2144 coq-menhirlib_20230608+ds-1build2.dsc
 3c9f0b28cfb296f240c49e3185faef52b176c729ebdfff849e8953674fade95b 1900 coq-menhirlib_20230608+ds-1build2.debian.tar.xz
 f23898635303fa9984d3f853e21d1e8175143d96160e03003260a30573a863bb 7844 coq-menhirlib_20230608+ds-1build2_source.buildinfo
Files:
 76de5a1791d8fc4d353637e22d72da65 2144 ocaml optional coq-menhirlib_20230608+ds-1build2.dsc
 72feebc301359d704bf353ccdae25894 1900 ocaml optional coq-menhirlib_20230608+ds-1build2.debian.tar.xz
 62e18065dbb26391db7789834e8f1495 7844 ocaml optional coq-menhirlib_20230608+ds-1build2_source.buildinfo