[ubuntu/lunar-proposed] coq 8.16.0+dfsg-1build1 (Accepted)

[Gianfranco Costamagna]

coq (8.16.0+dfsg-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 07:41:35 +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/8.16.0+dfsg-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 07:41:35 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0+dfsg-1build1
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 (8.16.0+dfsg-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 e20659d07608d684be611e52b40eca03ee564aa9 2628 coq_8.16.0+dfsg-1build1.dsc
 a253df8ec25c98a914229bbe74f271179bbe117b 33772 coq_8.16.0+dfsg-1build1.debian.tar.xz
 4186a4bb92daa30d4aac037294fffbef5de5918c 8851 coq_8.16.0+dfsg-1build1_source.buildinfo
Checksums-Sha256:
 84178219e4c7567912262481c548ff6b2bcf58eba7dd40f45bf6b493b3f56e22 2628 coq_8.16.0+dfsg-1build1.dsc
 17bc85e62071055c9ac7549ef9708f0500c2734f963d41aad0a41d932eafc73d 33772 coq_8.16.0+dfsg-1build1.debian.tar.xz
 ea1759abad4e8ae0e4f146a4e12299fb3d1de0f92f74c3fe46bd63602b5fde6d 8851 coq_8.16.0+dfsg-1build1_source.buildinfo
Files:
 cafb0b5103167ae6c8e294385571eed6 2628 math optional coq_8.16.0+dfsg-1build1.dsc
 41d7ae67852479d220fcb2be22af9b64 33772 math optional coq_8.16.0+dfsg-1build1.debian.tar.xz
 a03464dd1bc2c6379f8bf16c2dbd4d73 8851 math optional coq_8.16.0+dfsg-1build1_source.buildinfo