[ubuntu/lunar-proposed] coq-menhirlib 20220210+ds-4build1 (Accepted)

[Gianfranco Costamagna]

coq-menhirlib (20220210+ds-4build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 14:00:47 +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/20220210+ds-4build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 14:00:47 +0100
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20220210+ds-4build1
Distribution: lunar
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-menhirlib (20220210+ds-4build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 46eac0bc3087d235047b93ef759281cad576185a 2144 coq-menhirlib_20220210+ds-4build1.dsc
 ddd20ef341511b66d648f3478aac92ba7da72d6a 1824 coq-menhirlib_20220210+ds-4build1.debian.tar.xz
 88d990e923c9d1b78dde5482ce7e5e997d9fd40b 7140 coq-menhirlib_20220210+ds-4build1_source.buildinfo
Checksums-Sha256:
 2e6cb57ceab274b6c6542f10ff5ecba39f4411af768daf9ba46f826a97b25a45 2144 coq-menhirlib_20220210+ds-4build1.dsc
 d2b3784a4f1d4b0e6c518cf0cba751e5ae9b35252ebf2a8b86558bca0871032e 1824 coq-menhirlib_20220210+ds-4build1.debian.tar.xz
 cdf7b86f6d2994242030f74edde793c8ddcabaca6dcbfececdcd28c678d17369 7140 coq-menhirlib_20220210+ds-4build1_source.buildinfo
Files:
 588280c7e2e6634bbc5d15de1e15ad49 2144 ocaml optional coq-menhirlib_20220210+ds-4build1.dsc
 d081098d3e985396e34163a92db186cb 1824 ocaml optional coq-menhirlib_20220210+ds-4build1.debian.tar.xz
 5f6ab5ee6debef2d61bc0e957b78e3a0 7140 ocaml optional coq-menhirlib_20220210+ds-4build1_source.buildinfo