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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 17 Feb 2023 08:06:57 +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-4build2
-------------- next part --------------
Format: 1.8
Date: Fri, 17 Feb 2023 08:06:57 +0100
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15.0-4build2
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-4build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b14a48bcd26b471d0ff5ed75589ec38b0455ebf9 2163 coq-math-classes_8.15.0-4build2.dsc
 4bd966e8c49cd4c225a743a7c39c3d0645a083b8 2708 coq-math-classes_8.15.0-4build2.debian.tar.xz
 1f4d684a60eb29b1b8119adbc9142aadda707e86 7176 coq-math-classes_8.15.0-4build2_source.buildinfo
Checksums-Sha256:
 02e99439e05722649ccb9aeedc9d4a40677e59538535940318e7b73a3a02f955 2163 coq-math-classes_8.15.0-4build2.dsc
 e5afccb413daf0607e2c50b10b4693f1d682ef53c8d4535d5150ec2dfbdd42fe 2708 coq-math-classes_8.15.0-4build2.debian.tar.xz
 e95c15000b5192b8ec8bdb5c6624f9516d2decb5c8d872b3b55a1a84944aff11 7176 coq-math-classes_8.15.0-4build2_source.buildinfo
Files:
 79074e397aa47cbf148cdb3b852fe19a 2163 ocaml optional coq-math-classes_8.15.0-4build2.dsc
 a5fd8a3e5a999696db437ddf32297c5c 2708 ocaml optional coq-math-classes_8.15.0-4build2.debian.tar.xz
 01d217681d1726b81226e2dd368cd251 7176 ocaml optional coq-math-classes_8.15.0-4build2_source.buildinfo