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

[Jeremy Bícha]

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

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 12:39:56 -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.2-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 12:39:56 -0500
Source: mathcomp-real-closed
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.2-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.2-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 66f7f27b7b6b7cceac15da1df043b2595f8d319a 2263 mathcomp-real-closed_2.0.2-1build1.dsc
 5782be349fbde0490c54cc292db49e6ccfa02fc0 9048 mathcomp-real-closed_2.0.2-1build1.debian.tar.xz
 adfccd2f0f30df20c43db466415c09c8ab07f6b0 7128 mathcomp-real-closed_2.0.2-1build1_source.buildinfo
Checksums-Sha256:
 40da93509f7dee06c7d2423d3498aaeabfae55b35bdb017ad868903ca4f007f8 2263 mathcomp-real-closed_2.0.2-1build1.dsc
 fc093d0b29e70d51f306aaaec9065ab8ed24e0de13f8052e007b98320ea92300 9048 mathcomp-real-closed_2.0.2-1build1.debian.tar.xz
 31b538342a519ae4884c0ff945ce263210b4f08944214f24e722d8a1fb40f36f 7128 mathcomp-real-closed_2.0.2-1build1_source.buildinfo
Files:
 cd99c4baf4e280ffeded63a4729042da 2263 ocaml optional mathcomp-real-closed_2.0.2-1build1.dsc
 fe76a111a71b656048d3bf9e7924f299 9048 ocaml optional mathcomp-real-closed_2.0.2-1build1.debian.tar.xz
 80c2dbaf998d7f3cf490bdcb4bf8c8bb 7128 ocaml optional mathcomp-real-closed_2.0.2-1build1_source.buildinfo