[ubuntu/oracular-proposed] mathcomp-bigenough 1.0.1-14build1 (Accepted)

[Jeremy Bícha]

mathcomp-bigenough (1.0.1-14build1) oracular; urgency=medium

  * Rebuild against latest coq

Date: Mon, 05 Aug 2024 07:16:41 -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.1-14build1
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Aug 2024 07:16:41 -0400
Source: mathcomp-bigenough
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.1-14build1
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-bigenough (1.0.1-14build1) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 37a82473fb5ab8aaf2e8bc07620ecdf268c6ac60 2153 mathcomp-bigenough_1.0.1-14build1.dsc
 ce8c448d0958aa88cfc18c6aee7ff0b4f8b029d9 8832 mathcomp-bigenough_1.0.1-14build1.debian.tar.xz
 0adcd73b2cd646554fe73df1d40e9f7682ddeaa3 6817 mathcomp-bigenough_1.0.1-14build1_source.buildinfo
Checksums-Sha256:
 0b97fe3d7657dcb425a2ddee70ce5206907cb7024078cfd09988ef26d01e69eb 2153 mathcomp-bigenough_1.0.1-14build1.dsc
 d0a05ab9b891bf088f4a4da337283d267b15f725af71abb4ef5a260e89254f6d 8832 mathcomp-bigenough_1.0.1-14build1.debian.tar.xz
 b1147e59259446d78ae344698086bf30fe98efa2fb07a43fa037d9154afc6f60 6817 mathcomp-bigenough_1.0.1-14build1_source.buildinfo
Files:
 17365274491bb9854f5c0685107e1a6a 2153 ocaml optional mathcomp-bigenough_1.0.1-14build1.dsc
 0caf2ebaa37ccbb5d9b5e0b0f8f9403a 8832 ocaml optional mathcomp-bigenough_1.0.1-14build1.debian.tar.xz
 aa580716798e6a38efaf05242d5a10dd 6817 ocaml optional mathcomp-bigenough_1.0.1-14build1_source.buildinfo