[ubuntu/lunar-proposed] coq-equations 1.3-8.16-2build1 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3-8.16-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:32:52 +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-equations/1.3-8.16-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:32:52 +0100
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.16-2build1
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-equations (1.3-8.16-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4fae417d1b4cd59a1bffa6237a6389c8dd0f44ec 2165 coq-equations_1.3-8.16-2build1.dsc
 b10f10764facec278779835083875cd414e5f48c 2300 coq-equations_1.3-8.16-2build1.debian.tar.xz
 947198a112f38390b7f817ed8b88af1e77338e6b 7172 coq-equations_1.3-8.16-2build1_source.buildinfo
Checksums-Sha256:
 fb1dfccfa338e245202dfc90ad8c7a281d3dba1832503353d2fb1104c4a9e5d2 2165 coq-equations_1.3-8.16-2build1.dsc
 bd3739fe07668515096f6e2fc8c6ff5fa96663f15f929cc8ee670182fef7c411 2300 coq-equations_1.3-8.16-2build1.debian.tar.xz
 9003649553b3a6b3878541e0b3abd23658d8a0333fcb9a10bbf408d6989ce492 7172 coq-equations_1.3-8.16-2build1_source.buildinfo
Files:
 9725d56e90dc00a427c782d4511f0ea6 2165 ocaml optional coq-equations_1.3-8.16-2build1.dsc
 46e320ea40743736c8958a2ccf1fc1f8 2300 ocaml optional coq-equations_1.3-8.16-2build1.debian.tar.xz
 5e851f132d7382ed4dbf183d1bc67f11 7172 ocaml optional coq-equations_1.3-8.16-2build1_source.buildinfo