[ubuntu/noble-proposed] mathcomp-finmap 2.0.0-2build1 (Accepted)

[Jeremy Bícha]

mathcomp-finmap (2.0.0-2build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sat, 27 Jan 2024 19:51:35 -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.0.0-2build1
-------------- next part --------------
Format: 1.8
Date: Sat, 27 Jan 2024 19:51:35 -0500
Source: mathcomp-finmap
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.0-2build1
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 (2.0.0-2build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 05884bc2a1d0e36a47bfe1e2e45fce32c0c99945 2125 mathcomp-finmap_2.0.0-2build1.dsc
 020b64f91287c0436d2c2ab0c2ba52c8450bdea2 8936 mathcomp-finmap_2.0.0-2build1.debian.tar.xz
 383d3e89b372a8d57eabdd007f59043b1ecdecb8 7651 mathcomp-finmap_2.0.0-2build1_source.buildinfo
Checksums-Sha256:
 b7c4c40ff0794d8f8d54ee34168be88ea0fc6f130b3a44a5544e62e3fd3b353a 2125 mathcomp-finmap_2.0.0-2build1.dsc
 86cf386bd4b60f2aa407f0a0d80e02cfe216ad2e063213929db8c5243f983812 8936 mathcomp-finmap_2.0.0-2build1.debian.tar.xz
 81a3cacc366ffdef4893abbbc50948105758987d0cdbecf8d4dc59dd1778cdbf 7651 mathcomp-finmap_2.0.0-2build1_source.buildinfo
Files:
 f66e4725fa10f70056087f84bf40002f 2125 ocaml optional mathcomp-finmap_2.0.0-2build1.dsc
 0fde378c3e762b2ff185b00e5c9a2add 8936 ocaml optional mathcomp-finmap_2.0.0-2build1.debian.tar.xz
 4a8d17aee53d80c0ba05cbceaf7882e4 7651 ocaml optional mathcomp-finmap_2.0.0-2build1_source.buildinfo