[ubuntu/noble-proposed] mathcomp-algebra-tactics 1.2.3-1build3 (Accepted)

[Steve Langasek]

mathcomp-algebra-tactics (1.2.3-1build3) noble; urgency=medium

  * No-change rebuild for new libcoq-elqi ABI

Date: Sun, 24 Mar 2024 15:59:22 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/mathcomp-algebra-tactics/1.2.3-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 15:59:22 +0000
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.3-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 mathcomp-algebra-tactics (1.2.3-1build3) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-elqi ABI
Checksums-Sha1:
 b1fd140fe17bd0f6c0aaa96f90d6779da1441c57 2397 mathcomp-algebra-tactics_1.2.3-1build3.dsc
 a4755bf0603b14aeea77e2d555b89fedc595d4ae 9064 mathcomp-algebra-tactics_1.2.3-1build3.debian.tar.xz
 c6cd4ed993975ec08d22ab78121d0e779e215684 6885 mathcomp-algebra-tactics_1.2.3-1build3_source.buildinfo
Checksums-Sha256:
 dd4f807cdb3be930a97eb25efa47af9ce65551643c7657e0b64b4879993f82d7 2397 mathcomp-algebra-tactics_1.2.3-1build3.dsc
 671b5407c6341b76a1e88cb0fe979389a74f64a6588b3b6b58b1ad1100e995b4 9064 mathcomp-algebra-tactics_1.2.3-1build3.debian.tar.xz
 7f5d06cc481fcff15107b033d75d673c0984c2882f3231298ee1c97f8ed201af 6885 mathcomp-algebra-tactics_1.2.3-1build3_source.buildinfo
Files:
 ae3689e25bd83d30c10b9b83110c7eb5 2397 ocaml optional mathcomp-algebra-tactics_1.2.3-1build3.dsc
 d4e2c9b4b5f48cd7ea49f24d1dd1f44d 9064 ocaml optional mathcomp-algebra-tactics_1.2.3-1build3.debian.tar.xz
 f919a8e3ba27e2b55872f41185a6c840 6885 ocaml optional mathcomp-algebra-tactics_1.2.3-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>