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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 21:29:41 +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-8build1
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 21:29:41 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.0-8build1
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-8build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ca5ccb3042ea0deabf672fbd60951f971d86d4d6 2281 mathcomp-algebra-tactics_1.0.0-8build1.dsc
 29eaf777f36b92e457450227f5cf65413e56b293 8776 mathcomp-algebra-tactics_1.0.0-8build1.debian.tar.xz
 084d054299370e2f5233945320aae9cd61b54b4d 7939 mathcomp-algebra-tactics_1.0.0-8build1_source.buildinfo
Checksums-Sha256:
 a5f43510418b239f6378e835603dd05059a1fbaf723cdf1df97b56d22e2dbe03 2281 mathcomp-algebra-tactics_1.0.0-8build1.dsc
 f68c7f91bcff5d36feebbea3f51119ea7408c83c04fd6dc09ca8d6c9badda517 8776 mathcomp-algebra-tactics_1.0.0-8build1.debian.tar.xz
 73928f3d630f373cee8e52dde6fe01db37773569631cf5ffa6200e98fc42d6c2 7939 mathcomp-algebra-tactics_1.0.0-8build1_source.buildinfo
Files:
 c08ee7ce54895e0ea0064aceb6bcc4d3 2281 ocaml optional mathcomp-algebra-tactics_1.0.0-8build1.dsc
 a25151866752154615b26ecdcae4ccf2 8776 ocaml optional mathcomp-algebra-tactics_1.0.0-8build1.debian.tar.xz
 578265bf7b45fb22cd95d52224246550 7939 ocaml optional mathcomp-algebra-tactics_1.0.0-8build1_source.buildinfo