[ubuntu/questing-proposed] ssreflect 2.3.0-1build9 (Accepted)

[Jeremy Bícha]

ssreflect (2.3.0-1build9) questing; urgency=medium

  * Rebuild against latest coq libraries

Date: Wed, 07 May 2025 15:51:26 -0400
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/ssreflect/2.3.0-1build9
-------------- next part --------------
Format: 1.8
Date: Wed, 07 May 2025 15:51:26 -0400
Source: ssreflect
Built-For-Profiles: noudeb
Architecture: source
Version: 2.3.0-1build9
Distribution: questing
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 ssreflect (2.3.0-1build9) questing; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 efe6073e2e9dd186a277e3045e00dc20afefae54 2700 ssreflect_2.3.0-1build9.dsc
 af98c3484778a7d2dde00ffe2d535a35ed679110 12964 ssreflect_2.3.0-1build9.debian.tar.xz
 b08b63ecd37b7c3cb165333be31b28fa205feedd 6893 ssreflect_2.3.0-1build9_source.buildinfo
Checksums-Sha256:
 1f84a77a8612badc1de29f3bd0ab5441ec3ce581789f106ae60672707f655f5e 2700 ssreflect_2.3.0-1build9.dsc
 022b5e298b1132d880dabab2b325198bd1763f209ca4d301ab9622b762cf55f9 12964 ssreflect_2.3.0-1build9.debian.tar.xz
 ce48b874fff57ad33ef262c97f5e6c4db41adf69e79a89c7427493333c577328 6893 ssreflect_2.3.0-1build9_source.buildinfo
Files:
 f98b1ce5f24c71943485815ee4886183 2700 math optional ssreflect_2.3.0-1build9.dsc
 912cd9d956cc410bec9521f619fe154f 12964 math optional ssreflect_2.3.0-1build9.debian.tar.xz
 9f1aa5ce5bdb92d86301ee46364c25f4 6893 math optional ssreflect_2.3.0-1build9_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>