[ubuntu/noble-proposed] ssreflect 1.17.0-1build4 (Accepted)

[Jeremy Bícha]

ssreflect (1.17.0-1build4) noble; urgency=medium

  * Rebuild against latest coq

Date: Fri, 22 Dec 2023 18:43:56 -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/ssreflect/1.17.0-1build4
-------------- next part --------------
Format: 1.8
Date: Fri, 22 Dec 2023 18:43:56 -0500
Source: ssreflect
Built-For-Profiles: noudeb
Architecture: source
Version: 1.17.0-1build4
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 ssreflect (1.17.0-1build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 1b1bcb5ea716e20af988e99a3d5d5089103134da 2602 ssreflect_1.17.0-1build4.dsc
 4983db942893a17645135b7d6724236dc3533861 12544 ssreflect_1.17.0-1build4.debian.tar.xz
 bdbc74d80bdfe408afb8e44c3ad86b8ba4e6ad0f 7264 ssreflect_1.17.0-1build4_source.buildinfo
Checksums-Sha256:
 27e2bf1f6bb5a8161b9a975385c2fdce5adcac32659d6e746d545ab1b1d5a218 2602 ssreflect_1.17.0-1build4.dsc
 ce656ce800c0d46c98c9f2b25fe9adf8f17f9fdf12c255452618612596128ad5 12544 ssreflect_1.17.0-1build4.debian.tar.xz
 14274b0fe8aa6b021ecb7234c4dd21df712526e40a5138d3f96ba6babbb842ab 7264 ssreflect_1.17.0-1build4_source.buildinfo
Files:
 a11c0967ca072bf822ea47ba911a4764 2602 math optional ssreflect_1.17.0-1build4.dsc
 c950191d90c661ed27eca378a00d16d7 12544 math optional ssreflect_1.17.0-1build4.debian.tar.xz
 6fd3b877513b323de78359326b8da69d 7264 math optional ssreflect_1.17.0-1build4_source.buildinfo