[ubuntu/plucky-proposed] ssreflect 2.3.0-1build7 (Accepted)

[Matthias Klose]

ssreflect (2.3.0-1build7) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Wed, 19 Feb 2025 09:06:29 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/ssreflect/2.3.0-1build7
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 09:06:29 +0100
Source: ssreflect
Built-For-Profiles: noudeb
Architecture: source
Version: 2.3.0-1build7
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 ssreflect (2.3.0-1build7) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 ff09692258c096367d55a96d3414573a6b606b88 2621 ssreflect_2.3.0-1build7.dsc
 604d25f45305e22bc65a9aedd2d60c559b51c5de 12872 ssreflect_2.3.0-1build7.debian.tar.xz
 5fa36343b0aef2f31768008bdea013290b2e5f41 3823 ssreflect_2.3.0-1build7_source.buildinfo
Checksums-Sha256:
 75b54c2bf6cc96d267f7086dbd7155740ef049bff86034ea02b1b29ff3a0985d 2621 ssreflect_2.3.0-1build7.dsc
 88b09daa878a72bada899a8a082cfbf37f664245509cf8f68af9fe1c4bd8725a 12872 ssreflect_2.3.0-1build7.debian.tar.xz
 954cd409294ec74e06adbbd3b88d9c9d54b67d58a49d4bf2dbb113caeb19677b 3823 ssreflect_2.3.0-1build7_source.buildinfo
Files:
 5ef7559ab5d3e0c78e8e2429907c0a02 2621 math optional ssreflect_2.3.0-1build7.dsc
 9a9df343c5ee7e945394ff39c207206e 12872 math optional ssreflect_2.3.0-1build7.debian.tar.xz
 4173a0d58b4da3e555133e3b680a4c3a 3823 math optional ssreflect_2.3.0-1build7_source.buildinfo