[ubuntu/mantic-proposed] mathcomp-algebra-tactics 1.1.1-2build9 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.1.1-2build9) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 28 Aug 2023 17:51:53 +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.1.1-2build9
-------------- next part --------------
Format: 1.8
Date: Mon, 28 Aug 2023 17:51:53 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-2build9
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.1.1-2build9) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 116cc9abe23c44f2ad76ed7a62590704851773e3 2281 mathcomp-algebra-tactics_1.1.1-2build9.dsc
 f4892977c5279afe8ce651e97a56ac805c36081d 8920 mathcomp-algebra-tactics_1.1.1-2build9.debian.tar.xz
 d9fd0abb099e591fbbf9328fb83162538dc01bb9 7832 mathcomp-algebra-tactics_1.1.1-2build9_source.buildinfo
Checksums-Sha256:
 c6664c4c5da1e5a75da14c5660ce8c18abd04054a521e83489a3c501544b5c1b 2281 mathcomp-algebra-tactics_1.1.1-2build9.dsc
 215bf77c233861f6874796bd75461c43b43617929a5876ddd859e3436cfdc87c 8920 mathcomp-algebra-tactics_1.1.1-2build9.debian.tar.xz
 2aa6feefdd52ec6be7d17cea47baae613a5cec1b172ade47469aba8c2c117183 7832 mathcomp-algebra-tactics_1.1.1-2build9_source.buildinfo
Files:
 67fa0bf08ea99c36ecd0b06d5edcc072 2281 ocaml optional mathcomp-algebra-tactics_1.1.1-2build9.dsc
 2799b331f4f2ea5685bfe581ba4015d4 8920 ocaml optional mathcomp-algebra-tactics_1.1.1-2build9.debian.tar.xz
 d0ec01bcbfc35575c0232d0f8865386e 7832 ocaml optional mathcomp-algebra-tactics_1.1.1-2build9_source.buildinfo