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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:13:42 +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-3build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:13:42 +0100
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15.0-3build1
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-3build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 648e55c14d2367f5b4c5e7f65dbce10e816f0a40 2158 coq-math-classes_8.15.0-3build1.dsc
 71ba92c2afa20f1ba766d85aed656a0556f76d2b 2664 coq-math-classes_8.15.0-3build1.debian.tar.xz
 9340e2cbb90f400682c70377d9b630b3088ce2bd 7909 coq-math-classes_8.15.0-3build1_source.buildinfo
Checksums-Sha256:
 d2bdf668814554e401633d724f19fe9f942d6b9130b6f5ee354f090d73bfa9ff 2158 coq-math-classes_8.15.0-3build1.dsc
 901da5053d07c4de8747abd63b2e62a541de077560880ffb9673b3b4e67b8440 2664 coq-math-classes_8.15.0-3build1.debian.tar.xz
 392606024c96066ddbd8a245b9c5c685ab4941afadfa0bc4e314b824292f637c 7909 coq-math-classes_8.15.0-3build1_source.buildinfo
Files:
 ef5440e1de12827e708880c839a87405 2158 ocaml optional coq-math-classes_8.15.0-3build1.dsc
 c4802edf25a3a7a9cc48fe632aa11d2b 2664 ocaml optional coq-math-classes_8.15.0-3build1.debian.tar.xz
 45e5165d19fb6cba3d75552d01c2b90d 7909 ocaml optional coq-math-classes_8.15.0-3build1_source.buildinfo