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

[Jeremy Bícha]

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

  * Rebuild against latest coq libraries

Date: Thu, 19 Dec 2024 22:20:18 -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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Dec 2024 22:20:18 -0500
Source: ssreflect
Built-For-Profiles: noudeb
Architecture: source
Version: 2.3.0-1build1
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-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 573f8f15670eb1e56afb2ab39580b1ec0ba346fb 2621 ssreflect_2.3.0-1build1.dsc
 8e4e7d0202c81b4e3f88d3d7c52f6e52af7e29ef 12732 ssreflect_2.3.0-1build1.debian.tar.xz
 900413ad8fe3391722333f2802bd4e02045a2584 7088 ssreflect_2.3.0-1build1_source.buildinfo
Checksums-Sha256:
 3836d720268e0d1a5b05fb417af8b3866dc05ace7e328315a87ec79d096a40a9 2621 ssreflect_2.3.0-1build1.dsc
 23f3e39fa22a52d2e108f41800db1c013e12c595d6854a781d64b8eb655a873c 12732 ssreflect_2.3.0-1build1.debian.tar.xz
 25bddc1eb314d12a1687cc79bf000b220bd537d92a666019387b198b2123a5d2 7088 ssreflect_2.3.0-1build1_source.buildinfo
Files:
 35a5b23ed3feab4703bc80d84c287129 2621 math optional ssreflect_2.3.0-1build1.dsc
 d0cc3b0fb3e4139f1386ce9fe96ba78b 12732 math optional ssreflect_2.3.0-1build1.debian.tar.xz
 55a0a1af93e8dddd810539046f95f8d2 7088 math optional ssreflect_2.3.0-1build1_source.buildinfo