[ubuntu/mantic-proposed] mathcomp-algebra-tactics 1.0.0-8build4 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.0.0-8build4) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 11:02:50 +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/mathcomp-algebra-tactics/1.0.0-8build4
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 11:02:50 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.0-8build4
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 mathcomp-algebra-tactics (1.0.0-8build4) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 475e5e6738c4aef272fafe4f6723c373456b06b6 2281 mathcomp-algebra-tactics_1.0.0-8build4.dsc
 71f61b809c98dfc004e3e133eabb1994b098b140 8824 mathcomp-algebra-tactics_1.0.0-8build4.debian.tar.xz
 2c38ea878ff6aaa39e56a2288e712898c1260b61 7259 mathcomp-algebra-tactics_1.0.0-8build4_source.buildinfo
Checksums-Sha256:
 c65050dc824f9d1075f7ae663bd08ce8f94f60a174b97478910b24c34b2d5d90 2281 mathcomp-algebra-tactics_1.0.0-8build4.dsc
 5549489b5520a157256ec09ec197ed11401c36bc7d3df509938332a543d4a7e5 8824 mathcomp-algebra-tactics_1.0.0-8build4.debian.tar.xz
 2b24fb2a9bc2479e8701bf8b359e1600ab93215c374346e7435da04f5e939a4e 7259 mathcomp-algebra-tactics_1.0.0-8build4_source.buildinfo
Files:
 7df68555ece97c1131ef0aaa155a4e4e 2281 ocaml optional mathcomp-algebra-tactics_1.0.0-8build4.dsc
 f0743a370a600e445dc032a84e1ce086 8824 ocaml optional mathcomp-algebra-tactics_1.0.0-8build4.debian.tar.xz
 42fb34ca34f01228bfa9a7babde3cdeb 7259 ocaml optional mathcomp-algebra-tactics_1.0.0-8build4_source.buildinfo