[ubuntu/noble-proposed] mathcomp-analysis 0.6.4-3build7 (Accepted)

[Jeremy Bícha]

mathcomp-analysis (0.6.4-3build7) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 14:16:25 -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/0.6.4-3build7
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 14:16:25 -0500
Source: mathcomp-analysis
Built-For-Profiles: noudeb
Architecture: source
Version: 0.6.4-3build7
Distribution: noble
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 (0.6.4-3build7) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 451f1f1f7702d59a6c6d8b5a8dad50cce298b90e 2424 mathcomp-analysis_0.6.4-3build7.dsc
 7c4f61dac36a88e213ea0227abf1550c0be16af1 9292 mathcomp-analysis_0.6.4-3build7.debian.tar.xz
 8efc776e54a5892f3026cae583a5b1a5ff67177e 7292 mathcomp-analysis_0.6.4-3build7_source.buildinfo
Checksums-Sha256:
 d74a3db0314e1de73c56baffc93e383fa7e5b66e7ec2ac7aa28506e6f05ec2dd 2424 mathcomp-analysis_0.6.4-3build7.dsc
 fdb8fa3221296c4fe75ff98b717c9bbc7061768ff649a7e2d6bba23c7d4ecfe0 9292 mathcomp-analysis_0.6.4-3build7.debian.tar.xz
 a49456595287f2cdb86da2a637c22c62ebb29beaf198447a41bd340edf985c2c 7292 mathcomp-analysis_0.6.4-3build7_source.buildinfo
Files:
 ad4e05e3c6ce9476afc016bc9cf98e72 2424 ocaml optional mathcomp-analysis_0.6.4-3build7.dsc
 4aa6c0507f8f5b3d34b0f76311a9cb16 9292 ocaml optional mathcomp-analysis_0.6.4-3build7.debian.tar.xz
 473f9e8ef3e376af6aa0cf08f8dab26d 7292 ocaml optional mathcomp-analysis_0.6.4-3build7_source.buildinfo