[ubuntu/plucky-proposed] mathcomp-finmap 2.1.0-3build1 (Accepted)

[Jeremy Bícha]

mathcomp-finmap (2.1.0-3build1) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 08:43:34 -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-finmap/2.1.0-3build1
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 08:43:34 -0500
Source: mathcomp-finmap
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-3build1
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-finmap (2.1.0-3build1) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 2e23e6c2949eed034841bdd756c07767ff72a64a 2125 mathcomp-finmap_2.1.0-3build1.dsc
 2349315a384fe84c3b9c1f79985c6e98705a1036 9032 mathcomp-finmap_2.1.0-3build1.debian.tar.xz
 e839658d440a9ced1e7bd777a3c283d993ed968d 7108 mathcomp-finmap_2.1.0-3build1_source.buildinfo
Checksums-Sha256:
 fae37aee062cde79730441245b4762506bcb2981cacd470efad49ebd3d903bd5 2125 mathcomp-finmap_2.1.0-3build1.dsc
 e1285e12fd82f7f3b9b3e1eb27e920af488b02514d58df1d238bd0d1e3091d87 9032 mathcomp-finmap_2.1.0-3build1.debian.tar.xz
 eebb5d1fbbab6c211b051fb7b324d135ddbd849ed6e398714abe6a624e2d67fa 7108 mathcomp-finmap_2.1.0-3build1_source.buildinfo
Files:
 16e7ce9c5a00fca0cd7239834d873ded 2125 ocaml optional mathcomp-finmap_2.1.0-3build1.dsc
 64b9d459b5f01f5e058cfd6675af2246 9032 ocaml optional mathcomp-finmap_2.1.0-3build1.debian.tar.xz
 fee0fe4a86268fb4b0742e5aacae1c9e 7108 ocaml optional mathcomp-finmap_2.1.0-3build1_source.buildinfo