[ubuntu/oracular-proposed] mathcomp-analysis 1.2.0-2build1 (Accepted)

[Jeremy Bícha]

mathcomp-analysis (1.2.0-2build1) oracular; urgency=medium

  * Rebuild against latest coq

Date: Mon, 05 Aug 2024 09:41:54 -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.2.0-2build1
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Aug 2024 09:41:54 -0400
Source: mathcomp-analysis
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.0-2build1
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-analysis (1.2.0-2build1) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 54752cb883ba97c60501ea901c07d614f4f7768d 2427 mathcomp-analysis_1.2.0-2build1.dsc
 8654c6403f8aa6630802fb891ae650dc2589c84f 9440 mathcomp-analysis_1.2.0-2build1.debian.tar.xz
 b7b2f6e9b21f5136ccf13e8fad70231c1b7c47f4 6809 mathcomp-analysis_1.2.0-2build1_source.buildinfo
Checksums-Sha256:
 16a10d84c947dc113944eeaee2fd008e4f0d433ae9abf040c3574c88a6faca2c 2427 mathcomp-analysis_1.2.0-2build1.dsc
 8e02471487ee8bcc430960ec01418209dd386f2e613db92569e6106fd6c04845 9440 mathcomp-analysis_1.2.0-2build1.debian.tar.xz
 eb7ddb641eda6e2b6c60d73d18c5501a076967f783aec8b68de631bfb1573364 6809 mathcomp-analysis_1.2.0-2build1_source.buildinfo
Files:
 50b31bf2b121b86558e81873a9060ec6 2427 ocaml optional mathcomp-analysis_1.2.0-2build1.dsc
 58e431aa12d6c62381b7773a34461a2a 9440 ocaml optional mathcomp-analysis_1.2.0-2build1.debian.tar.xz
 bb77b519958d565e76f1ea10d65169d4 6809 ocaml optional mathcomp-analysis_1.2.0-2build1_source.buildinfo