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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 27 Jul 2023 11:45:12 +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-2build5
-------------- next part --------------
Format: 1.8
Date: Thu, 27 Jul 2023 11:45:12 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-2build5
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-2build5) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 75c30ecaefa1d55fef267b0e35de839164bb4036 2281 mathcomp-algebra-tactics_1.1.1-2build5.dsc
 50c620dfd3defb62ebfe8f74658693cffbb47960 8860 mathcomp-algebra-tactics_1.1.1-2build5.debian.tar.xz
 f819fbc662fb2f9e8f3c1a65368f3f71066bedd2 7838 mathcomp-algebra-tactics_1.1.1-2build5_source.buildinfo
Checksums-Sha256:
 9d1139db1a993dadc6e4a834257814285c9a4aab61bc614908009376a210cb8a 2281 mathcomp-algebra-tactics_1.1.1-2build5.dsc
 d163212129a397a579f3f940c3ce1118fa38b5c8e14d03530487995b4204dd59 8860 mathcomp-algebra-tactics_1.1.1-2build5.debian.tar.xz
 e118de2a2dc9620de50dc91e10de769b140f5275dada5d0b639c475fe382eaae 7838 mathcomp-algebra-tactics_1.1.1-2build5_source.buildinfo
Files:
 e555f1ba4a1b53b396b7fd08cbc620ae 2281 ocaml optional mathcomp-algebra-tactics_1.1.1-2build5.dsc
 7255915ceb154a7ba97d9a8b7d34826a 8860 ocaml optional mathcomp-algebra-tactics_1.1.1-2build5.debian.tar.xz
 ebaacf2d83342b28ee20911673385431 7838 ocaml optional mathcomp-algebra-tactics_1.1.1-2build5_source.buildinfo