[ubuntu/oracular-proposed] mathcomp-algebra-tactics 1.2.3-4build3 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.2.3-4build3) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:41:43 +0200
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.3-4build3
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:41:43 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-4build3
Distribution: oracular
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.3-4build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 51a87c05b2a349752d7388be1934ca450a1cbce4 2281 mathcomp-algebra-tactics_1.2.3-4build3.dsc
 7415aa553ee6b98acb484d49ea89619b6c46da99 9104 mathcomp-algebra-tactics_1.2.3-4build3.debian.tar.xz
 06e7ea6897f20893b48d00ff0dd5a5a397b63dac 7908 mathcomp-algebra-tactics_1.2.3-4build3_source.buildinfo
Checksums-Sha256:
 1a32c50c76591544d18569c0b172ad36b2ceb3a51ef23e9e1c3bd6ce29ec8512 2281 mathcomp-algebra-tactics_1.2.3-4build3.dsc
 41f565c6deec8b4f937dd18d638bf2b16eb771b21526024d0ebe233a7f1891c3 9104 mathcomp-algebra-tactics_1.2.3-4build3.debian.tar.xz
 60fd44ac703b30a472361245d9eec85302e2ab73c8d72f1108e309ba73f584e1 7908 mathcomp-algebra-tactics_1.2.3-4build3_source.buildinfo
Files:
 ca4bf3efcd60d2f84e5f534c3f1e02d1 2281 ocaml optional mathcomp-algebra-tactics_1.2.3-4build3.dsc
 1bebda4296c3d03b5bd858b0d87aba92 9104 ocaml optional mathcomp-algebra-tactics_1.2.3-4build3.debian.tar.xz
 77febe8fa520e75dca08a1da02615fda 7908 ocaml optional mathcomp-algebra-tactics_1.2.3-4build3_source.buildinfo