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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 28 Jul 2023 05:36:37 +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-2build6
-------------- next part --------------
Format: 1.8
Date: Fri, 28 Jul 2023 05:36:37 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-2build6
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-2build6) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7d817cde747abf0af0fb77dfd28f92c782ab8605 2281 mathcomp-algebra-tactics_1.1.1-2build6.dsc
 f088d454fce221d6f3c1f768924bca3523fa9d0e 8876 mathcomp-algebra-tactics_1.1.1-2build6.debian.tar.xz
 7bcd96816aaf9e4eb8f84a84aa6f5478685c5960 7838 mathcomp-algebra-tactics_1.1.1-2build6_source.buildinfo
Checksums-Sha256:
 651bb8af5ed2e72555827049de2d5a653a31e238899695ac2ba10ec85d2df8f2 2281 mathcomp-algebra-tactics_1.1.1-2build6.dsc
 8dfeb8c522b9cf9372eb57a4d7429bdfc06309aa5179672cac57e0ca1ef2d6d4 8876 mathcomp-algebra-tactics_1.1.1-2build6.debian.tar.xz
 c4ad4b07ab1849cf06309d3fa540240a25d4b0e0ea8edbebb20d46a4f759f70a 7838 mathcomp-algebra-tactics_1.1.1-2build6_source.buildinfo
Files:
 a3d2c43f770000e725412a6cb4c297ad 2281 ocaml optional mathcomp-algebra-tactics_1.1.1-2build6.dsc
 5150629b6adc3f801a7a455201e71c05 8876 ocaml optional mathcomp-algebra-tactics_1.1.1-2build6.debian.tar.xz
 cb9bc2bd18ece6618f6401c3ec48d906 7838 ocaml optional mathcomp-algebra-tactics_1.1.1-2build6_source.buildinfo