[ubuntu/lunar-proposed] coq-math-classes 8.15.0-3build2 (Accepted)

[Gianfranco Costamagna]

coq-math-classes (8.15.0-3build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 12:56:36 +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-math-classes/8.15.0-3build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 12:56:36 +0100
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15.0-3build2
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-math-classes (8.15.0-3build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a4c3050054120739d766357606ac5dea942c7235 2158 coq-math-classes_8.15.0-3build2.dsc
 749338e94d020364899bb96e3f48dea20b35523a 2672 coq-math-classes_8.15.0-3build2.debian.tar.xz
 dc0057b30c9e5ab18322147d337d7e4d4b743ec1 7911 coq-math-classes_8.15.0-3build2_source.buildinfo
Checksums-Sha256:
 d0d297dcd987adf0208274b472a42b58d4792450f25d9594b6f1da840defcb64 2158 coq-math-classes_8.15.0-3build2.dsc
 9b2413b75bf81ec10dd797ba4642ad3d63bd74eb7ecfd49a439bdb2b8b8d5cbf 2672 coq-math-classes_8.15.0-3build2.debian.tar.xz
 e0a5ffac6147d1d643a863fd9eb0c0060b0617e24c86ce5292847cde0692b95a 7911 coq-math-classes_8.15.0-3build2_source.buildinfo
Files:
 b8b052562e2c31a9d0762eac471081d7 2158 ocaml optional coq-math-classes_8.15.0-3build2.dsc
 7ee9204e2869451ee8d4e18039253aba 2672 ocaml optional coq-math-classes_8.15.0-3build2.debian.tar.xz
 8b39df9accbec1ab435e4c5d03396bca 7911 ocaml optional coq-math-classes_8.15.0-3build2_source.buildinfo