[ubuntu/questing-proposed] mathcomp-finmap 2.1.0-3build6 (Accepted)

[Jeremy Bícha]

mathcomp-finmap (2.1.0-3build6) questing; urgency=medium

  * Rebuild against latest coq libraries

Date: Thu, 08 May 2025 07:25:35 -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-finmap/2.1.0-3build6
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 07:25:35 -0400
Source: mathcomp-finmap
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-3build6
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-finmap (2.1.0-3build6) questing; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 a6f36011da24675f8892eb800c27b94b17b09a26 2125 mathcomp-finmap_2.1.0-3build6.dsc
 2eb3e4d81fc913cf75d921cad22742baabef58fc 9152 mathcomp-finmap_2.1.0-3build6.debian.tar.xz
 25830217d157332cbc86e97c99093662073f3783 6917 mathcomp-finmap_2.1.0-3build6_source.buildinfo
Checksums-Sha256:
 185d9abeead4044db40e594a6f13bdb49264716c74931433575393bcf2fb3009 2125 mathcomp-finmap_2.1.0-3build6.dsc
 a1e2d94b341c6c315b6912d3b1dd36db40583efc1777ae48b2b0afa9f4d49f0e 9152 mathcomp-finmap_2.1.0-3build6.debian.tar.xz
 a4cc8a601dd9440c580aa2b432408e448ed7fb1a7326670bb2ca6ca49e70d1f5 6917 mathcomp-finmap_2.1.0-3build6_source.buildinfo
Files:
 bbd198339c4dd8f6bb5c731b1956c4b2 2125 ocaml optional mathcomp-finmap_2.1.0-3build6.dsc
 bf648055e6ebdc898536889efdfcbcd3 9152 ocaml optional mathcomp-finmap_2.1.0-3build6.debian.tar.xz
 3f970c74c119126ce5274847f9eb0353 6917 ocaml optional mathcomp-finmap_2.1.0-3build6_source.buildinfo