[ubuntu/lunar-proposed] mathcomp-algebra-tactics 1.0.0-8build2 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.0.0-8build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 27 Jan 2023 19:05:56 +0100
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.0.0-8build2
-------------- next part --------------
Format: 1.8
Date: Fri, 27 Jan 2023 19:05:56 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.0-8build2
Distribution: lunar
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.0.0-8build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8574612607d3f554286c174ded4f33cb42f59b78 2281 mathcomp-algebra-tactics_1.0.0-8build2.dsc
 228772c04c66a7260646bcf211d8706b3526ac9c 8800 mathcomp-algebra-tactics_1.0.0-8build2.debian.tar.xz
 8c9433970f7a7a5e930c433bec7f3a1ef4a0c1e3 7204 mathcomp-algebra-tactics_1.0.0-8build2_source.buildinfo
Checksums-Sha256:
 56c4f796a7712a89e3603297a37394d5325df62c7eb215bafb49135eab5683f0 2281 mathcomp-algebra-tactics_1.0.0-8build2.dsc
 4e66ff0212c58c43541773f69939b81bc2dd12f7f952fb3d58a3932840f7d9c8 8800 mathcomp-algebra-tactics_1.0.0-8build2.debian.tar.xz
 9d36db605ba37de0139cb8e9cdf9917b97cf6c724247fbcf685b2e0150f1e34e 7204 mathcomp-algebra-tactics_1.0.0-8build2_source.buildinfo
Files:
 2feed73becc62d5000cfebccc0763433 2281 ocaml optional mathcomp-algebra-tactics_1.0.0-8build2.dsc
 f03e24dc295fb981892b11d5b74b2777 8800 ocaml optional mathcomp-algebra-tactics_1.0.0-8build2.debian.tar.xz
 3489a7ca1c9227f245387c4c01b91408 7204 ocaml optional mathcomp-algebra-tactics_1.0.0-8build2_source.buildinfo