[ubuntu/lunar-proposed] coq-math-classes 8.15.0-4build1 (Accepted)

[Gianfranco Costamagna]

coq-math-classes (8.15.0-4build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:31:30 +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-4build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:31:30 +0100
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15.0-4build1
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-4build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8d38bc63beb10dce3c703541e44e2772ddd6b633 2163 coq-math-classes_8.15.0-4build1.dsc
 cf5984a1f9d056cc63f1a958f763d03def3ef668 2696 coq-math-classes_8.15.0-4build1.debian.tar.xz
 03bc5de9e206f4a8851c434674f1b173eb39cd43 7176 coq-math-classes_8.15.0-4build1_source.buildinfo
Checksums-Sha256:
 8b62d002c09a18c67b18792289eb955a75470e6808d728d59924ef74469b8209 2163 coq-math-classes_8.15.0-4build1.dsc
 91f705f076dd99f91bce61a8e2d84b5cac012b02cfb067513de531f56e5e04b5 2696 coq-math-classes_8.15.0-4build1.debian.tar.xz
 b13235dcab39ac81cbeaa0e254c466a97d3d1016cae1bfdd0720a7a357ccc2cd 7176 coq-math-classes_8.15.0-4build1_source.buildinfo
Files:
 08ca0bbdf075893e366bf33a556eb99f 2163 ocaml optional coq-math-classes_8.15.0-4build1.dsc
 d305261aab24ddf6788572f6e32f73bd 2696 ocaml optional coq-math-classes_8.15.0-4build1.debian.tar.xz
 2c2dca92e2e76515d906cfbfb3062208 7176 ocaml optional coq-math-classes_8.15.0-4build1_source.buildinfo