[ubuntu/noble-proposed] mathcomp-bigenough 1.0.1-12build1 (Accepted)

[Jeremy Bícha]

mathcomp-bigenough (1.0.1-12build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sat, 27 Jan 2024 19:51:29 -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-12build1
-------------- next part --------------
Format: 1.8
Date: Sat, 27 Jan 2024 19:51:29 -0500
Source: mathcomp-bigenough
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.1-12build1
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-12build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 7ed1575b5c35d4d4d99e405333e9cbbf90691bec 2153 mathcomp-bigenough_1.0.1-12build1.dsc
 342b61f68216f64c6a11589cb48111ce1d7c9d1b 8768 mathcomp-bigenough_1.0.1-12build1.debian.tar.xz
 3017719c2e57c94344e41e9b6c76b7cce713851f 7667 mathcomp-bigenough_1.0.1-12build1_source.buildinfo
Checksums-Sha256:
 3f6348fd446ebb5c3ae2dc9979210a056a5f9ad5b5d17d442238b0272b39d2f3 2153 mathcomp-bigenough_1.0.1-12build1.dsc
 281067c81acf5424b64c290b42111fdd6165fc149335030fc0fb7c9325709e0b 8768 mathcomp-bigenough_1.0.1-12build1.debian.tar.xz
 728e1bf823a32df2d2a5778705e51173764e96bcf9485b5b72a1ef2bd9ddde34 7667 mathcomp-bigenough_1.0.1-12build1_source.buildinfo
Files:
 6ace69e89a3f63c7594661fd0e3f03b0 2153 ocaml optional mathcomp-bigenough_1.0.1-12build1.dsc
 258336c89a5f3082834fc6793c09d25b 8768 ocaml optional mathcomp-bigenough_1.0.1-12build1.debian.tar.xz
 0493f79d445bf5f5e1d3c8f0a98b1a58 7667 ocaml optional mathcomp-bigenough_1.0.1-12build1_source.buildinfo