[ubuntu/noble-proposed] ssreflect 2.1.0-1build3 (Accepted)

[Steve Langasek]

ssreflect (2.1.0-1build3) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:16:33 +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/ssreflect/2.1.0-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:16:33 +0000
Source: ssreflect
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-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:
 ssreflect (2.1.0-1build3) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 8129f13cb10da4a54cff14ceadfb11edb8eee743 2737 ssreflect_2.1.0-1build3.dsc
 0bab47a576d005698e46e5710748ddb81e25e3d9 12796 ssreflect_2.1.0-1build3.debian.tar.xz
 1fb330efc51fea6eb93c7453282b014af700484e 6710 ssreflect_2.1.0-1build3_source.buildinfo
Checksums-Sha256:
 d67e76209c70e9b1bcbead2f7b0f63a8c865c02feaf21ab2d601cc667c372324 2737 ssreflect_2.1.0-1build3.dsc
 fee5fe1fc5239d25d395fa1932efb5b4ccb2dcb94c26e1df4ce9b6cec9f14f8f 12796 ssreflect_2.1.0-1build3.debian.tar.xz
 3b4e2f768ccbcd39563a8f3d708191faffbf66b0e65545ef4e735f89eb513d35 6710 ssreflect_2.1.0-1build3_source.buildinfo
Files:
 614a3921d484582c5f5ddc68073f72ec 2737 math optional ssreflect_2.1.0-1build3.dsc
 c2502e3074be1a582bbe073f2f7e774b 12796 math optional ssreflect_2.1.0-1build3.debian.tar.xz
 acc4470d9c404b9892f853e84bd7287b 6710 math optional ssreflect_2.1.0-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>