[ubuntu/oracular-proposed] mathcomp-finmap 2.1.0-2build1 (Accepted)

[Jeremy Bícha]

mathcomp-finmap (2.1.0-2build1) oracular; urgency=medium

  * Rebuild against latest coq

Date: Mon, 05 Aug 2024 07:16:52 -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-2build1
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Aug 2024 07:16:52 -0400
Source: mathcomp-finmap
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-2build1
Distribution: oracular
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-2build1) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 42b73dd24fb4db43b74e394e37138fb2d34375b9 2125 mathcomp-finmap_2.1.0-2build1.dsc
 a9644f4cca12eaba2d1e788f45c4358742a1ab4a 9000 mathcomp-finmap_2.1.0-2build1.debian.tar.xz
 e42dc122bd2e6b121b3edcbbc3f9af82ce58b715 6801 mathcomp-finmap_2.1.0-2build1_source.buildinfo
Checksums-Sha256:
 98d99f87449cb0bb04b9be9dbb46b1481d7dc187a0d8f1c71bcfe0458266c9e3 2125 mathcomp-finmap_2.1.0-2build1.dsc
 61f8caf752a09a3bb5c9a20b40ab2896aef1643700a3341d8b04c15347f9ec4b 9000 mathcomp-finmap_2.1.0-2build1.debian.tar.xz
 ffcd65b614ac802e697c90dadc6d86cbd5f2ff3ac7f456f581f0e1ca2204f590 6801 mathcomp-finmap_2.1.0-2build1_source.buildinfo
Files:
 bc140cae0f8c9e21e3bd1c2a289a40d9 2125 ocaml optional mathcomp-finmap_2.1.0-2build1.dsc
 8fe7bfb1138da4be847d6a713aa85040 9000 ocaml optional mathcomp-finmap_2.1.0-2build1.debian.tar.xz
 0950fd79d2bbbb1c74ba2d67cc314138 6801 ocaml optional mathcomp-finmap_2.1.0-2build1_source.buildinfo