[ubuntu/plucky-proposed] mathcomp-algebra-tactics 1.2.3-4build7 (Accepted)

[Matthias Klose]

mathcomp-algebra-tactics (1.2.3-4build7) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Wed, 20 Nov 2024 10:31:14 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/mathcomp-algebra-tactics/1.2.3-4build7
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 10:31:14 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-4build7
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 mathcomp-algebra-tactics (1.2.3-4build7) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 419232876a8a983e2d296f039fde10d023824ba9 2281 mathcomp-algebra-tactics_1.2.3-4build7.dsc
 2a0a4f18a3c19d8f19f2aeaf82576c8c8ff0b2cc 9204 mathcomp-algebra-tactics_1.2.3-4build7.debian.tar.xz
 6bd5e3038074962bcd36bba3d318cfae408a3377 3877 mathcomp-algebra-tactics_1.2.3-4build7_source.buildinfo
Checksums-Sha256:
 089d1222910872c15f496c7c533c2980cd320d655361477ea82cf6dee7d59cc9 2281 mathcomp-algebra-tactics_1.2.3-4build7.dsc
 9741b970ca51cf1fb26c7e028ceb391d74677127c976b8e4ec0635e8d1503051 9204 mathcomp-algebra-tactics_1.2.3-4build7.debian.tar.xz
 0d7f109752ca4e0faba898d5be5236b25f5ff39e49bdde91f62e4e659b4653ab 3877 mathcomp-algebra-tactics_1.2.3-4build7_source.buildinfo
Files:
 e198c8dc81fa1e80168281e60a87cc78 2281 ocaml optional mathcomp-algebra-tactics_1.2.3-4build7.dsc
 ca161f5b93835453a4e34522ff7fb618 9204 ocaml optional mathcomp-algebra-tactics_1.2.3-4build7.debian.tar.xz
 76daf59d6637b86cd4551d19d39be46d 3877 ocaml optional mathcomp-algebra-tactics_1.2.3-4build7_source.buildinfo