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

[Jeremy Bícha]

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

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 12:39:42 -0500
Changed-By: Jeremy Bícha <jbicha 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-4build9
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 12:39:42 -0500
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-4build9
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 mathcomp-algebra-tactics (1.2.3-4build9) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 ffde03a891513348c09cb9f35d03be78b21597a3 2281 mathcomp-algebra-tactics_1.2.3-4build9.dsc
 4b6090e8bb062e7de01238c1fe2913118e458f7d 9268 mathcomp-algebra-tactics_1.2.3-4build9.debian.tar.xz
 0a6e71dce064ae7064c5be4c7825f9dea07be2e0 7144 mathcomp-algebra-tactics_1.2.3-4build9_source.buildinfo
Checksums-Sha256:
 e5aa2573b38ad9de9a2ddcefb80f1ad51cc64e4ded8d41b8f0e5d8645e16fbd3 2281 mathcomp-algebra-tactics_1.2.3-4build9.dsc
 53e0ebe8c17b2222b21c6c68996c076c7655e8e2505fc18d92c47aa5f74331d9 9268 mathcomp-algebra-tactics_1.2.3-4build9.debian.tar.xz
 63c45a608443553ef813159006fb944f7a7cbb3622b301643145b1686d7131ec 7144 mathcomp-algebra-tactics_1.2.3-4build9_source.buildinfo
Files:
 e78ada4bdacd1045049106ffc83e00c5 2281 ocaml optional mathcomp-algebra-tactics_1.2.3-4build9.dsc
 971a75fec374dbe7e4c0a1fedb754be4 9268 ocaml optional mathcomp-algebra-tactics_1.2.3-4build9.debian.tar.xz
 b7bf6537eca7d3ccfe63fe5fa6c601c4 7144 ocaml optional mathcomp-algebra-tactics_1.2.3-4build9_source.buildinfo