[ubuntu/questing-proposed] mathcomp-analysis 1.9.0-1build1 (Accepted)

[Jeremy Bícha]

mathcomp-analysis (1.9.0-1build1) questing; urgency=medium

  * Rebuild against coq libraries

Date: Thu, 08 May 2025 13:23:29 -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-analysis/1.9.0-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 13:23:29 -0400
Source: mathcomp-analysis
Built-For-Profiles: noudeb
Architecture: source
Version: 1.9.0-1build1
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-analysis (1.9.0-1build1) questing; urgency=medium
 .
   * Rebuild against coq libraries
Checksums-Sha1:
 f40b001b576b951c491203e535234e138c58330c 2424 mathcomp-analysis_1.9.0-1build1.dsc
 74798d3247503dda0a7bb163d6b4344d42f92bd0 9548 mathcomp-analysis_1.9.0-1build1.debian.tar.xz
 fb855d03f68294b769261a612d267cafb1bdeda3 6925 mathcomp-analysis_1.9.0-1build1_source.buildinfo
Checksums-Sha256:
 9b180a84387ddd23b728a9f48a73957e9ef94572c28d2bb4a9b1c9d111ee50b8 2424 mathcomp-analysis_1.9.0-1build1.dsc
 a4bb9fd5c2a5a17168b9473a3e16a264c171f41202608619740c4bb9b29929e1 9548 mathcomp-analysis_1.9.0-1build1.debian.tar.xz
 9fd2c5f717e69147f1eacba988ca6243c1aed7b10b3299113367e6c5eabc9884 6925 mathcomp-analysis_1.9.0-1build1_source.buildinfo
Files:
 62fdd17d73d79f1a0da73f8cbf524c1c 2424 ocaml optional mathcomp-analysis_1.9.0-1build1.dsc
 2cffc3b70d69f63efc52e418fd349ef4 9548 ocaml optional mathcomp-analysis_1.9.0-1build1.debian.tar.xz
 a10e61b66956863e72a1e259ee26da96 6925 ocaml optional mathcomp-analysis_1.9.0-1build1_source.buildinfo