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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 08 Jul 2023 00:01:41 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Sat, 08 Jul 2023 00:01:41 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-2build1
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-2build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 6e9bb29862f03841ed76e0f5815e5b3c3e8bf678 2281 mathcomp-algebra-tactics_1.1.1-2build1.dsc
 1cca08235e1da5fd14dfd69a88cd4e1373903884 8816 mathcomp-algebra-tactics_1.1.1-2build1.debian.tar.xz
 2ed30967907adb3434730febe514b65b45ad26cd 7838 mathcomp-algebra-tactics_1.1.1-2build1_source.buildinfo
Checksums-Sha256:
 3b4b9acff2f9641bef21153d1dc1d1d0790d36e188dfc9bfb6bf8d27f04ffa7a 2281 mathcomp-algebra-tactics_1.1.1-2build1.dsc
 8a7e1e99f63af38c24490f6050b82eed6c4a9b53aa7c9f3b8618c3b99e699354 8816 mathcomp-algebra-tactics_1.1.1-2build1.debian.tar.xz
 fefa8df76e5058867cbf98fa3d331a3c060b92deb39cb320f63148dfc3ff29cb 7838 mathcomp-algebra-tactics_1.1.1-2build1_source.buildinfo
Files:
 05e2a039931505b7757bd6f7d9c24675 2281 ocaml optional mathcomp-algebra-tactics_1.1.1-2build1.dsc
 2592e78e699373398da772a5d1805f65 8816 ocaml optional mathcomp-algebra-tactics_1.1.1-2build1.debian.tar.xz
 f898e0b5fd8a21a879ead2604583df2e 7838 ocaml optional mathcomp-algebra-tactics_1.1.1-2build1_source.buildinfo