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

[Jeremy Bícha]

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

  * Rebuild against latest coq-hierarchy-builder

Date: Sat, 27 Jan 2024 16:09:48 -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/2.1.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 27 Jan 2024 16:09:48 -0500
Source: ssreflect
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build1
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 (2.1.0-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq-hierarchy-builder
Checksums-Sha1:
 2d5212b9d57945a8c111824b2fb88f0bb4dffe85 2621 ssreflect_2.1.0-1build1.dsc
 900aae98024cdb5d518e9d62a3d4bdb38e985011 12676 ssreflect_2.1.0-1build1.debian.tar.xz
 6840467ff823910a47181f70608bd94a36ba9d54 7627 ssreflect_2.1.0-1build1_source.buildinfo
Checksums-Sha256:
 432f124f9ad23f6b82f0ebd55243f0392a7ae1d06179011d03e736690abe6d0a 2621 ssreflect_2.1.0-1build1.dsc
 951664c24a9051474e0ad273e6892065f54e4f5d849b01c4b5d21bea2e4ad6ef 12676 ssreflect_2.1.0-1build1.debian.tar.xz
 8e273869ef69d7be0b810c3282b16ac238b5dd00af12ee6fea034c8e50c1063b 7627 ssreflect_2.1.0-1build1_source.buildinfo
Files:
 90486e89f7cc21dd46b8631dfb2ef730 2621 math optional ssreflect_2.1.0-1build1.dsc
 aa3dd292bec38164f3cf873fb5e8320b 12676 math optional ssreflect_2.1.0-1build1.debian.tar.xz
 da226f7d0b9e54e4957a0bb2654bf0d7 7627 math optional ssreflect_2.1.0-1build1_source.buildinfo