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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 11:18:55 -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-3build6
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 11:18:55 -0500
Source: mathcomp-analysis
Built-For-Profiles: noudeb
Architecture: source
Version: 0.6.4-3build6
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-3build6) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 24aeb7fe978f31d2894b3661996ba857eba58b5c 2424 mathcomp-analysis_0.6.4-3build6.dsc
 96acd999842f3c1022ea6e82dc1438eeee998b6c 9288 mathcomp-analysis_0.6.4-3build6.debian.tar.xz
 fb8fba1aae2f8d5aab8966fe33f863a14cb1136b 7292 mathcomp-analysis_0.6.4-3build6_source.buildinfo
Checksums-Sha256:
 78037c79305ed02dde87db288dd298eb3cd1b4b663a704c0f5ce8b3c8a67dfdb 2424 mathcomp-analysis_0.6.4-3build6.dsc
 a3848100fea4167e8988d4d8e61b4af6b8a83f9b208d2525b43db6f5e9fae7a4 9288 mathcomp-analysis_0.6.4-3build6.debian.tar.xz
 34928aa3649bf93217dad499cad179628a2cc1c4cf22c2b96aedc673b432313c 7292 mathcomp-analysis_0.6.4-3build6_source.buildinfo
Files:
 acf31654f3b352789afdd4374225f1c2 2424 ocaml optional mathcomp-analysis_0.6.4-3build6.dsc
 27d08e4eacc0bc215bbba53200a1f8d9 9288 ocaml optional mathcomp-analysis_0.6.4-3build6.debian.tar.xz
 e8dba9a11f36a8d4b2cfb7d6ca56d45c 7292 ocaml optional mathcomp-analysis_0.6.4-3build6_source.buildinfo