[ubuntu/oracular-proposed] mathcomp-algebra-tactics 1.2.3-3build2 (Accepted)

[Gianfranco Costamagna]

mathcomp-algebra-tactics (1.2.3-3build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Tue, 21 May 2024 12:34:46 +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-3build2
-------------- next part --------------
Format: 1.8
Date: Tue, 21 May 2024 12:34:46 +0200
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-3build2
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-3build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1d4aa678d772533c8f60573c73c6b90ee21b3483 2281 mathcomp-algebra-tactics_1.2.3-3build2.dsc
 8f3c086466f5737dc623f9eea9257e4519d2e9da 8992 mathcomp-algebra-tactics_1.2.3-3build2.debian.tar.xz
 aade4d0df1726ca9987512eb2274b48cf50cabce 7884 mathcomp-algebra-tactics_1.2.3-3build2_source.buildinfo
Checksums-Sha256:
 dc6ed64fa14500c69a89bdeb36530b94785df6e9cf9ea2bfb4d0d75a6532dd03 2281 mathcomp-algebra-tactics_1.2.3-3build2.dsc
 2bc1e7cd2231e7511420b1f99a3521d57d6da9a3b0c643363fa8efe37302e4ae 8992 mathcomp-algebra-tactics_1.2.3-3build2.debian.tar.xz
 400a94111dd2cd0792e385c8610e596f35852ca290aeaadc67a64bae11b87316 7884 mathcomp-algebra-tactics_1.2.3-3build2_source.buildinfo
Files:
 7e9a488d060a2158fb76e3f5eabef140 2281 ocaml optional mathcomp-algebra-tactics_1.2.3-3build2.dsc
 06c1513d560775ef123d314f2181b06c 8992 ocaml optional mathcomp-algebra-tactics_1.2.3-3build2.debian.tar.xz
 e6702f25fbdd3afc79eed95bebf4d0ca 7884 ocaml optional mathcomp-algebra-tactics_1.2.3-3build2_source.buildinfo