[ubuntu/questing-proposed] mathcomp-real-closed 2.0.2-1build7 (Accepted)

[Jeremy Bícha]

mathcomp-real-closed (2.0.2-1build7) questing; urgency=medium

  * Rebuild against coq libraries

Date: Thu, 08 May 2025 13:23:53 -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/mathcomp-real-closed/2.0.2-1build7
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 13:23:53 -0400
Source: mathcomp-real-closed
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.2-1build7
Distribution: questing
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.2-1build7) questing; urgency=medium
 .
   * Rebuild against coq libraries
Checksums-Sha1:
 c638550c2f7bc7e06d2da5f7084b9b735c7e3560 2263 mathcomp-real-closed_2.0.2-1build7.dsc
 3294d301c72b8b1c63c3a14d47d10fe5c2748698 9176 mathcomp-real-closed_2.0.2-1build7.debian.tar.xz
 9dcac3a21dd99b1d506e68d5e3a108b7a5c2c5df 6937 mathcomp-real-closed_2.0.2-1build7_source.buildinfo
Checksums-Sha256:
 61e23c3de912d0c8e0069ef266e7e7082938a1eb2e5f0cc0046ba7be71ce276e 2263 mathcomp-real-closed_2.0.2-1build7.dsc
 0d51163e91a52f733c33cbc678cfd1235c66fff1e5880ccc4aed418291e206e1 9176 mathcomp-real-closed_2.0.2-1build7.debian.tar.xz
 2f6c169021d52fc01bb6166203ad972effdbbf0e766bdf785e8b6874539dbd64 6937 mathcomp-real-closed_2.0.2-1build7_source.buildinfo
Files:
 7228ff698c4b2953685dcbd5715472a7 2263 ocaml optional mathcomp-real-closed_2.0.2-1build7.dsc
 b1ba4d136d5ea9a2026a59727dc2991f 9176 ocaml optional mathcomp-real-closed_2.0.2-1build7.debian.tar.xz
 189f7fb7a4401c593d9fa450a103daca 6937 ocaml optional mathcomp-real-closed_2.0.2-1build7_source.buildinfo