[ubuntu/lunar-proposed] coq-menhirlib 20220210+ds-3build3 (Accepted)

[Gianfranco Costamagna]

coq-menhirlib (20220210+ds-3build3) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 10:45:17 +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-3build3
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 10:45:17 +0100
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20220210+ds-3build3
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-3build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 411235f8a5f7605ecb09e5cd93ac6932a5c865c4 2139 coq-menhirlib_20220210+ds-3build3.dsc
 ba72bcfd32dbbf5cbfc03ddf3a9027626764edfc 1812 coq-menhirlib_20220210+ds-3build3.debian.tar.xz
 0c388661d00e4b2e604af0c6d4c9d77b9e783c6e 7919 coq-menhirlib_20220210+ds-3build3_source.buildinfo
Checksums-Sha256:
 1466bc1f723d5a5a899e50382a9459945dcc0ba742b3bdb75bfcac4cc7d5f6f0 2139 coq-menhirlib_20220210+ds-3build3.dsc
 46d76906bc655c7a6ae8f34984c320d0c68b64fbd4f75d3361a81df5c6c9799c 1812 coq-menhirlib_20220210+ds-3build3.debian.tar.xz
 b2f6da4fdd4b36a525a871d59405f817978407f5a0ce66cb084c3037b2e4d721 7919 coq-menhirlib_20220210+ds-3build3_source.buildinfo
Files:
 309ec5dc43fba8fe00effc67921476d2 2139 ocaml optional coq-menhirlib_20220210+ds-3build3.dsc
 02dd2da2dc096b8444631f67e7e2513f 1812 ocaml optional coq-menhirlib_20220210+ds-3build3.debian.tar.xz
 50954bd3d141548c3268783c932d01a8 7919 ocaml optional coq-menhirlib_20220210+ds-3build3_source.buildinfo