[ubuntu/oracular-proposed] ssreflect 2.2.0-2build1 (Accepted)

[Jeremy Bícha]

ssreflect (2.2.0-2build1) oracular; urgency=medium

  * Rebuild against latest coq

Date: Sun, 04 Aug 2024 17:42:50 -0400
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.2.0-2build1
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Aug 2024 17:42:50 -0400
Source: ssreflect
Built-For-Profiles: noudeb
Architecture: source
Version: 2.2.0-2build1
Distribution: oracular
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.2.0-2build1) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 7a2992075b00005ec99bb6951ed1082d8dacebf1 2621 ssreflect_2.2.0-2build1.dsc
 d924f3106eea9ebd177ee5eecc0ed85538f1ef78 12712 ssreflect_2.2.0-2build1.debian.tar.xz
 79d1725c1d6d6461127b92daa62a9de8c1a16afb 6777 ssreflect_2.2.0-2build1_source.buildinfo
Checksums-Sha256:
 91585fc5a2fb66250e8c0c836c6648e22ee47ab3f224b6820d287e801a2fc8ab 2621 ssreflect_2.2.0-2build1.dsc
 738f81b77fe650772ee6edcfc6e2f770022bb868fc111509616b356e248e4086 12712 ssreflect_2.2.0-2build1.debian.tar.xz
 4998b4bab6b45dd77b370f7b605529ab55eab355c478db05a30e881cb1f76235 6777 ssreflect_2.2.0-2build1_source.buildinfo
Files:
 93e19350b8c73ee8dcc39749752ac62b 2621 math optional ssreflect_2.2.0-2build1.dsc
 cdb311168ce648852b512cf4094d8c35 12712 math optional ssreflect_2.2.0-2build1.debian.tar.xz
 a2aecba1fe3876d249d5edea32dfe9be 6777 math optional ssreflect_2.2.0-2build1_source.buildinfo