[ubuntu/oracular-proposed] mathcomp-real-closed 2.0.0-3build1 (Accepted)

[Jeremy Bícha]

mathcomp-real-closed (2.0.0-3build1) oracular; urgency=medium

  * Rebuild against latest coq

Date: Mon, 05 Aug 2024 09:43:21 -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.0-3build1
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Aug 2024 09:43:21 -0400
Source: mathcomp-real-closed
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.0-3build1
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:
 mathcomp-real-closed (2.0.0-3build1) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 5080eea069df9ba7b7017fb21840230df742baad 2263 mathcomp-real-closed_2.0.0-3build1.dsc
 61773a54de72813c32e959211479c8ac83354dea 9020 mathcomp-real-closed_2.0.0-3build1.debian.tar.xz
 a3ab1c72def46df5ff2e20fb0ca3ae3622d01623 6821 mathcomp-real-closed_2.0.0-3build1_source.buildinfo
Checksums-Sha256:
 2f4474e49dca22d53e80fdc5a21555c4fb257f7d8b7ff3a0896425971b3a80fa 2263 mathcomp-real-closed_2.0.0-3build1.dsc
 107bd2c8ed066b6c8efb377323e3f95594b6ee565d0e48b237578c8f774f79e4 9020 mathcomp-real-closed_2.0.0-3build1.debian.tar.xz
 ac2e289e2aa8fa27cf2e14205261c3033c27984cbcc066a02810e50f1e0af381 6821 mathcomp-real-closed_2.0.0-3build1_source.buildinfo
Files:
 a7ef910d0218a3c9ea55cd25886c8ca1 2263 ocaml optional mathcomp-real-closed_2.0.0-3build1.dsc
 f588fdf4105536eafb44d5db5170428f 9020 ocaml optional mathcomp-real-closed_2.0.0-3build1.debian.tar.xz
 e17b2f698ce56f93bf070adab8ecdeb2 6821 ocaml optional mathcomp-real-closed_2.0.0-3build1_source.buildinfo