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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sun, 20 Aug 2023 09:34:23 +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-2build8
-------------- next part --------------
Format: 1.8
Date: Sun, 20 Aug 2023 09:34:23 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-2build8
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-2build8) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1c5d327aeb0ffd878036521d4378d297c59189bb 2281 mathcomp-algebra-tactics_1.1.1-2build8.dsc
 cbe6108f813b994f8a92edddbecc0c8a9e18d48a 8900 mathcomp-algebra-tactics_1.1.1-2build8.debian.tar.xz
 24abb36274121a72687988ae84dc3bb0e7c4ed65 7832 mathcomp-algebra-tactics_1.1.1-2build8_source.buildinfo
Checksums-Sha256:
 bbeec76c0878122f4d6ce4f2f7fcf99fbc562c3623ef4d76d60eca640c57a682 2281 mathcomp-algebra-tactics_1.1.1-2build8.dsc
 0f1a1be65cd3dff233eaf7f792d74c2179a3383864aadb955f2ed3d126b2a502 8900 mathcomp-algebra-tactics_1.1.1-2build8.debian.tar.xz
 884059ffd9537abc605cec5d92caafa514f1aeed7d949dd993ae4bb1ea587a09 7832 mathcomp-algebra-tactics_1.1.1-2build8_source.buildinfo
Files:
 f7573f742d59ba081662cb705afb6563 2281 ocaml optional mathcomp-algebra-tactics_1.1.1-2build8.dsc
 8bf58aa9c8a0811c37a1bc34a5bcb019 8900 ocaml optional mathcomp-algebra-tactics_1.1.1-2build8.debian.tar.xz
 e42b74f74d29724483aad66757496aab 7832 ocaml optional mathcomp-algebra-tactics_1.1.1-2build8_source.buildinfo