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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 23:57:13 +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-8build3
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 23:57:13 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.0-8build3
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-8build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a266d86c2c7987da1f43dd9c75bada6f03ddd058 2281 mathcomp-algebra-tactics_1.0.0-8build3.dsc
 1e814a90c7035acfbd975b106c4b89ecf6339370 8812 mathcomp-algebra-tactics_1.0.0-8build3.debian.tar.xz
 fd16e41e68cb2a0b08aad0dd26c0b65df0faf860 7204 mathcomp-algebra-tactics_1.0.0-8build3_source.buildinfo
Checksums-Sha256:
 a8f6039bfd33c303ddc65b52f61965bb8d6d45e5f8b4aaf241e95e186a6584ec 2281 mathcomp-algebra-tactics_1.0.0-8build3.dsc
 7bd677470e586468b3817d9691b28bc455a5dd39759075156d1f860b2519fb29 8812 mathcomp-algebra-tactics_1.0.0-8build3.debian.tar.xz
 b51db599ccebaf85a455bcb5d1b65ba2c0c762fe388a9bc7ef3e15a2648ab75a 7204 mathcomp-algebra-tactics_1.0.0-8build3_source.buildinfo
Files:
 98f3f4c922ef0cec264900723b6de974 2281 ocaml optional mathcomp-algebra-tactics_1.0.0-8build3.dsc
 ccb709118a5d99f4135c54a19f043e6d 8812 ocaml optional mathcomp-algebra-tactics_1.0.0-8build3.debian.tar.xz
 83f35939437af47d16e4076c051b2e35 7204 ocaml optional mathcomp-algebra-tactics_1.0.0-8build3_source.buildinfo