[ubuntu/plucky-proposed] mathcomp-algebra-tactics 1.2.4-1build1 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.2.4-1build1) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:20:09 +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.2.4-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:20:09 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.4-1build1
Distribution: plucky
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.2.4-1build1) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8a70d9b478589e687db81e6097ab768c3243e0a8 2281 mathcomp-algebra-tactics_1.2.4-1build1.dsc
 2ba969cc55c4ffa0ca94a1a769df40b6b75b07d5 9064 mathcomp-algebra-tactics_1.2.4-1build1.debian.tar.xz
 f5e08a0bba0b30c2f3af0df5bb12e810f03fefbe 7355 mathcomp-algebra-tactics_1.2.4-1build1_source.buildinfo
Checksums-Sha256:
 bcd72e0a869a6a13d184b687b3f71657b0d733409f7ff484c00069c1d4463fb3 2281 mathcomp-algebra-tactics_1.2.4-1build1.dsc
 508f835a2437c96a49495499341bc0171537bd5b1971a91d4d98668a2cc36194 9064 mathcomp-algebra-tactics_1.2.4-1build1.debian.tar.xz
 8a390c3c2df8d94631f55e568ce0a5745445510587324d36f223cdbd774ec285 7355 mathcomp-algebra-tactics_1.2.4-1build1_source.buildinfo
Files:
 ecc71f451fe3ba9e4b0512841aa08620 2281 ocaml optional mathcomp-algebra-tactics_1.2.4-1build1.dsc
 dc64c3a2bd034a7e709766cfe401de41 9064 ocaml optional mathcomp-algebra-tactics_1.2.4-1build1.debian.tar.xz
 7ae61029b1ee5158392b7e38321b9c28 7355 ocaml optional mathcomp-algebra-tactics_1.2.4-1build1_source.buildinfo