[ubuntu/plucky-proposed] mathcomp-analysis 1.6.0-1build1 (Accepted)

[Jeremy Bícha]

mathcomp-analysis (1.6.0-1build1) plucky; urgency=medium

  * Rebuild against latest coq

Date: Thu, 21 Nov 2024 10:28:31 -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-analysis/1.6.0-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 10:28:31 -0500
Source: mathcomp-analysis
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-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-analysis (1.6.0-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 3156365458a11bc10f89f930d653a58e47a281da 2427 mathcomp-analysis_1.6.0-1build1.dsc
 933160b81c7fbdbba7b110f56532e639369d43d9 9444 mathcomp-analysis_1.6.0-1build1.debian.tar.xz
 e85815cb81df5e9f04214c97c702c82da8848ef7 6993 mathcomp-analysis_1.6.0-1build1_source.buildinfo
Checksums-Sha256:
 ff65c560ff95db4de8d5db9972e7a01ba8178785426fbb7613a1c4728a43b897 2427 mathcomp-analysis_1.6.0-1build1.dsc
 fcd88e2fa79a49a6e3c167c4bd582bd8fa7ef5395c57168e5276377c9cacd19b 9444 mathcomp-analysis_1.6.0-1build1.debian.tar.xz
 af177c5517cc17b08590c9d1545048ce79cc3fae3bf17f0ad78bef73243f5472 6993 mathcomp-analysis_1.6.0-1build1_source.buildinfo
Files:
 ee3767e04fa807089eed0ba59b2899f7 2427 ocaml optional mathcomp-analysis_1.6.0-1build1.dsc
 3721eed37bef95649205faae0227dd7b 9444 ocaml optional mathcomp-analysis_1.6.0-1build1.debian.tar.xz
 8136c499937cb86fd6f5cef6d3f9bfbe 6993 ocaml optional mathcomp-analysis_1.6.0-1build1_source.buildinfo