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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 17 Feb 2023 08:10:06 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Fri, 17 Feb 2023 08:10:06 +0100
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.16-2build2
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-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 43a39db79c4093e09ff19814bede2d3f37d98491 2165 coq-equations_1.3-8.16-2build2.dsc
 151269e9642c09ce186d5857fc841c0a9fd71730 2316 coq-equations_1.3-8.16-2build2.debian.tar.xz
 42f5f70363489b087a8d40bb0083d06dcb3443c9 7172 coq-equations_1.3-8.16-2build2_source.buildinfo
Checksums-Sha256:
 89ea1a9ec68b6da17c2e7a613baf4d2fc5fb32524303a54dfbd8f8c659e8020c 2165 coq-equations_1.3-8.16-2build2.dsc
 03b03dcbaf4a8fabc1d779b13724b3c727a4e935df59546bcde708d2c32251e1 2316 coq-equations_1.3-8.16-2build2.debian.tar.xz
 68440ebb30874aec5b37bd3a40c205a5a14c2f1c4a2662cfd0db1849ccb7e4f1 7172 coq-equations_1.3-8.16-2build2_source.buildinfo
Files:
 397a20f3bfae7b3517482f07728dfad5 2165 ocaml optional coq-equations_1.3-8.16-2build2.dsc
 83b10d60ad4a2f8533eb827f8e02e04d 2316 ocaml optional coq-equations_1.3-8.16-2build2.debian.tar.xz
 b3d7d37ddb23e22841101b53325bd1d6 7172 ocaml optional coq-equations_1.3-8.16-2build2_source.buildinfo