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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 31 Dec 2022 12:09: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-3build3
-------------- next part --------------
Format: 1.8
Date: Sat, 31 Dec 2022 12:09:57 +0100
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15.0-3build3
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-3build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1acfee3275458738282d9434d5bac85460622fd2 2158 coq-math-classes_8.15.0-3build3.dsc
 225ebcebade5445b668734fffc6aa20ddda11da5 2684 coq-math-classes_8.15.0-3build3.debian.tar.xz
 f6726fc193433e2e4c3bb0c22a47cf3f0b7ff693 7108 coq-math-classes_8.15.0-3build3_source.buildinfo
Checksums-Sha256:
 452987bb14887fc730f047af18658f4ffd27b83d7643227d866721c3383064d1 2158 coq-math-classes_8.15.0-3build3.dsc
 9fe588201d838af59d40911db86a1f2170e38a0eaa080da4ec9a5dd6b836eb71 2684 coq-math-classes_8.15.0-3build3.debian.tar.xz
 ce536bcb09c0cc41a8bb6f745c1a75a196ba68384e9f6c9661c000837f8f725d 7108 coq-math-classes_8.15.0-3build3_source.buildinfo
Files:
 cc39cd5b3ca7261fbb8b369c67d5978b 2158 ocaml optional coq-math-classes_8.15.0-3build3.dsc
 50fb39f6a9b963ea1ef52c90a8c30f8d 2684 ocaml optional coq-math-classes_8.15.0-3build3.debian.tar.xz
 fe23efe94400827e39f69c08620500b7 7108 ocaml optional coq-math-classes_8.15.0-3build3_source.buildinfo