[ubuntu/plucky-proposed] mathcomp-real-closed 2.0.1-1build1 (Accepted)

[Jeremy Bícha]

mathcomp-real-closed (2.0.1-1build1) plucky; urgency=medium

  * Rebuild against latest coq

Date: Thu, 21 Nov 2024 10:28:41 -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/mathcomp-real-closed/2.0.1-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 10:28:41 -0500
Source: mathcomp-real-closed
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.1-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:
 mathcomp-real-closed (2.0.1-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 8ba0369e868f2f2fcec3f3de3c74e3b71a440903 2263 mathcomp-real-closed_2.0.1-1build1.dsc
 37159f93da3218a2aa4e5d1c2a8e9a34295a762f 9032 mathcomp-real-closed_2.0.1-1build1.debian.tar.xz
 f732c52dd4c8145f9b7962041ad7f12a3c7cc7f8 7005 mathcomp-real-closed_2.0.1-1build1_source.buildinfo
Checksums-Sha256:
 86e9afb12ba28c8f5168ffeb6d7c05d1258c975d49f69dd0073226de93f3e565 2263 mathcomp-real-closed_2.0.1-1build1.dsc
 a785d6b92b6907a470c06aa656ad5e02c2a51b27bc79b092863fdd0c1bdaf03a 9032 mathcomp-real-closed_2.0.1-1build1.debian.tar.xz
 f7136cb31de73483511a2897141577f106a3fa9899a4f849866ffd34058b2587 7005 mathcomp-real-closed_2.0.1-1build1_source.buildinfo
Files:
 922a7bf9a081edf6c5922dda0bc19316 2263 ocaml optional mathcomp-real-closed_2.0.1-1build1.dsc
 20a48daea78a1f50dd600cac6e5e1f4a 9032 ocaml optional mathcomp-real-closed_2.0.1-1build1.debian.tar.xz
 ae4f488bf2e2186f50d4f2be5a4fcea2 7005 ocaml optional mathcomp-real-closed_2.0.1-1build1_source.buildinfo