[ubuntu/mantic-proposed] coq-math-classes 8.17.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-math-classes (8.17.0-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:12:44 +0200
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.17.0-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:12:44 +0200
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0-1build1
Distribution: mantic
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.17.0-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 f4cdf7c99cc86ac0aaf1c4325ac5df5f955909bf 2163 coq-math-classes_8.17.0-1build1.dsc
 9184e55f380b2ccf3daecb9cb192480c1473ef2f 2732 coq-math-classes_8.17.0-1build1.debian.tar.xz
 8ce11c5c1591ea1182917a51361d0bd546e84c9e 7810 coq-math-classes_8.17.0-1build1_source.buildinfo
Checksums-Sha256:
 2bcb179c220cc215083a12711a75f62167a06fa8f890bb3a8e3f423d06461a7b 2163 coq-math-classes_8.17.0-1build1.dsc
 fb4d21bb078ae2de9ea77ab9327bfe0e96a9b7d012fe5964499e165f01b8ff51 2732 coq-math-classes_8.17.0-1build1.debian.tar.xz
 b3f7f563c6cc67f726859fb618317788154e047e427be8f407b211a58c96ab79 7810 coq-math-classes_8.17.0-1build1_source.buildinfo
Files:
 d7ecc6c04519294d0b6378829e7ae338 2163 ocaml optional coq-math-classes_8.17.0-1build1.dsc
 06d5576bef7d17bc616654b52150c315 2732 ocaml optional coq-math-classes_8.17.0-1build1.debian.tar.xz
 73691cab6def74122f697600b2f69f53 7810 ocaml optional coq-math-classes_8.17.0-1build1_source.buildinfo