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

[Jeremy Bícha]

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

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 13:05:13 -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.7.0-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 13:05:13 -0500
Source: mathcomp-analysis
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.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.7.0-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 710e05392d4c5d0b9269946b5dec68ce2930d6c1 2424 mathcomp-analysis_1.7.0-1build1.dsc
 cfea34fa432289f8d2e02d2d644111d9042d5612 9532 mathcomp-analysis_1.7.0-1build1.debian.tar.xz
 b0dcc1f23cbf477c3a69c4f234a51cfe541905bf 7116 mathcomp-analysis_1.7.0-1build1_source.buildinfo
Checksums-Sha256:
 da34003305eed8bb7c2898f9315367ed3a29046bc4b48d3f17fdf39e7966cb8d 2424 mathcomp-analysis_1.7.0-1build1.dsc
 964641505985895cb89c353f713c24e8b90b503fa3bf8993b59eed71d591bcc4 9532 mathcomp-analysis_1.7.0-1build1.debian.tar.xz
 bed7b98da7f9d64b06d5461f40a2cf7aab6fd3b8de7fcb9f77a8c73f3d4269cc 7116 mathcomp-analysis_1.7.0-1build1_source.buildinfo
Files:
 b45a31cfba36c1203e5d9ff69d9032e7 2424 ocaml optional mathcomp-analysis_1.7.0-1build1.dsc
 cb633a1d351a1bb3261c4cae81a13687 9532 ocaml optional mathcomp-analysis_1.7.0-1build1.debian.tar.xz
 ca81f4b8187945abb60e98222e813d86 7116 ocaml optional mathcomp-analysis_1.7.0-1build1_source.buildinfo