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

[Jeremy Bícha]

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

  * Rebuild against latest coq libraries

Date: Sat, 25 Jan 2025 21:22:50 -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.3.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 25 Jan 2025 21:22:50 -0500
Source: ssreflect
Built-For-Profiles: noudeb
Architecture: source
Version: 2.3.0-1build2
Distribution: plucky
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.3.0-1build2) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 aff852fed9623e74f643439e2541bc9b6de3dae5 2621 ssreflect_2.3.0-1build2.dsc
 64bb9e3aae3677615b5b3773db2e315143aeb493 12744 ssreflect_2.3.0-1build2.debian.tar.xz
 f3c5e780d4067c71579388a151029d9febee497b 7044 ssreflect_2.3.0-1build2_source.buildinfo
Checksums-Sha256:
 11c9972cd5b280c68b1dd099aa4da6bdb7dd11cb6758cdf60d0bab5579518563 2621 ssreflect_2.3.0-1build2.dsc
 616c769bec98fd7e24715c461b6e889caaba53c4537a7fa2568699af6ebf4c01 12744 ssreflect_2.3.0-1build2.debian.tar.xz
 607cb14ae75afa88f288f77ee12feb4a535081e96535de49e0a8eb274da5b245 7044 ssreflect_2.3.0-1build2_source.buildinfo
Files:
 040c04fda2f398e39ec560c24d39267b 2621 math optional ssreflect_2.3.0-1build2.dsc
 7f43b6826f6b0816194688ff97636388 12744 math optional ssreflect_2.3.0-1build2.debian.tar.xz
 af71ec40ac898f22d3ccde843b43da0f 7044 math optional ssreflect_2.3.0-1build2_source.buildinfo