[ubuntu/noble-proposed] mathcomp-bigenough 1.0.1-10build3 (Accepted)

[Jeremy Bícha]

mathcomp-bigenough (1.0.1-10build3) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 07:23:40 -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-bigenough/1.0.1-10build3
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:23:40 -0500
Source: mathcomp-bigenough
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.1-10build3
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-bigenough (1.0.1-10build3) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 149f94927db069228418d1160845ac65df978d81 2153 mathcomp-bigenough_1.0.1-10build3.dsc
 802cb70759d5920a49b9a8d69b584ef64125ae3a 8784 mathcomp-bigenough_1.0.1-10build3.debian.tar.xz
 58de69b4ab2d2746e5f187bb23eaa39adedc6a16 7300 mathcomp-bigenough_1.0.1-10build3_source.buildinfo
Checksums-Sha256:
 07a4929380b01bd496f6f19141de23f4af357d499624c838d2626a1d9eb496f1 2153 mathcomp-bigenough_1.0.1-10build3.dsc
 f031672bb9666b5d42ddbd3ab2d3bd2091cbfbd7527940c8c3553166cacb7a96 8784 mathcomp-bigenough_1.0.1-10build3.debian.tar.xz
 cc4bc246dad2f90c927c0320915047709438d36a8c67286de40ed31c44128f50 7300 mathcomp-bigenough_1.0.1-10build3_source.buildinfo
Files:
 04cc7e4b30e600d225b68ba811dc3596 2153 ocaml optional mathcomp-bigenough_1.0.1-10build3.dsc
 7f16474c297f2bacb27f9de8b50301d3 8784 ocaml optional mathcomp-bigenough_1.0.1-10build3.debian.tar.xz
 1778b19ae53d63d6e20b2aa13414f4a9 7300 ocaml optional mathcomp-bigenough_1.0.1-10build3_source.buildinfo