[ubuntu/noble-proposed] mathcomp-finmap 1.5.2-3build3 (Accepted)

[Jeremy Bícha]

mathcomp-finmap (1.5.2-3build3) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 07:24:23 -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/1.5.2-3build3
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:24:23 -0500
Source: mathcomp-finmap
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.2-3build3
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-finmap (1.5.2-3build3) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 a472d51861faf6cbff0c34ab8afe518d1ca8d18e 2125 mathcomp-finmap_1.5.2-3build3.dsc
 8758a995662d5ead7ae12eda2afb1a14c1c9829d 8932 mathcomp-finmap_1.5.2-3build3.debian.tar.xz
 fd6cf43dcac6c77e838f9ff0f4805ea22cbb36ff 7284 mathcomp-finmap_1.5.2-3build3_source.buildinfo
Checksums-Sha256:
 2a8105f031027a16e1296c2a725e67071fd1e6053ca16b386ef29c63af291dc8 2125 mathcomp-finmap_1.5.2-3build3.dsc
 960c0d19bf9d0eb9403a3dc5d0eecae64ca6b0f74edf1f91578eb9465056771b 8932 mathcomp-finmap_1.5.2-3build3.debian.tar.xz
 4195599053529326dd1869202ee5b71b135c875f563c49b26a26d4b36aa97d76 7284 mathcomp-finmap_1.5.2-3build3_source.buildinfo
Files:
 a364bfe17fd178069a31e5246f9f1b85 2125 ocaml optional mathcomp-finmap_1.5.2-3build3.dsc
 f56ca06a4960e685738e8a1b719c1fa0 8932 ocaml optional mathcomp-finmap_1.5.2-3build3.debian.tar.xz
 43c108381516bbec9837e3a1c7410c7d 7284 ocaml optional mathcomp-finmap_1.5.2-3build3_source.buildinfo