[ubuntu/questing-proposed] mathcomp-bigenough 1.0.2-1build2 (Accepted)

[Jeremy Bícha]

mathcomp-bigenough (1.0.2-1build2) questing; urgency=medium

  * Rebuild against latest coq libraries

Date: Thu, 08 May 2025 07:25:28 -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-bigenough/1.0.2-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 07:25:28 -0400
Source: mathcomp-bigenough
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.2-1build2
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-bigenough (1.0.2-1build2) questing; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 2e5203b52e803f53a5815985660b1f8fb136d4c1 2149 mathcomp-bigenough_1.0.2-1build2.dsc
 23b21039b70c77fc14ed94c01a1271297686df14 8908 mathcomp-bigenough_1.0.2-1build2.debian.tar.xz
 240490c69a0329cc85aebfc63290de11060c65d2 6929 mathcomp-bigenough_1.0.2-1build2_source.buildinfo
Checksums-Sha256:
 b5ed9a1da0cfd294ba8fce2fc95e7e91074b1832810dcd7a213f3a8ac129c662 2149 mathcomp-bigenough_1.0.2-1build2.dsc
 573a1b978569bf309eed353ce22c48da47a2c8ba242ca316cc71fa9a49029090 8908 mathcomp-bigenough_1.0.2-1build2.debian.tar.xz
 43e7386402e736581ce85c04b3bda1d2c83b3c49ba24c018f2bd2b66c587f607 6929 mathcomp-bigenough_1.0.2-1build2_source.buildinfo
Files:
 5458ec80193d1f9c7dc925706397e1a4 2149 ocaml optional mathcomp-bigenough_1.0.2-1build2.dsc
 385d6f7ce4905c05de0a856808f12a2d 8908 ocaml optional mathcomp-bigenough_1.0.2-1build2.debian.tar.xz
 58069f734afac9eaccbbb7d3a003e4f4 6929 ocaml optional mathcomp-bigenough_1.0.2-1build2_source.buildinfo