[ubuntu/plucky-proposed] mathcomp-bigenough 1.0.1-14build10 (Accepted)

[Jeremy Bícha]

mathcomp-bigenough (1.0.1-14build10) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 08:42:24 -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-14build10
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 08:42:24 -0500
Source: mathcomp-bigenough
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0.1-14build10
Distribution: plucky
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-14build10) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 ba6a1d8b25145b44d3ee0ed8d5ace0b3294a2368 2157 mathcomp-bigenough_1.0.1-14build10.dsc
 2b2a8a848f898fd47770978acf9dddb4eb8e29a0 9032 mathcomp-bigenough_1.0.1-14build10.debian.tar.xz
 d18c76fae6fca5f1edddabd0f76c13540c978971 7128 mathcomp-bigenough_1.0.1-14build10_source.buildinfo
Checksums-Sha256:
 f4a50ab9e13eb8680bcb3af05aabb43e21053f6d5aaf056c3eb0774b9c4d0f9c 2157 mathcomp-bigenough_1.0.1-14build10.dsc
 be184706e47cb20b28cbe5afba84e627b75779b89c05088128cd8a9607499538 9032 mathcomp-bigenough_1.0.1-14build10.debian.tar.xz
 61a6f20da6e17a95cb193d0f58679c71fe32051644e59987d3ed7005731d87e8 7128 mathcomp-bigenough_1.0.1-14build10_source.buildinfo
Files:
 b093aa8903a306f8f699d2c007be1a9b 2157 ocaml optional mathcomp-bigenough_1.0.1-14build10.dsc
 3ed781cb3b4dbfc1a9c62fcb3ad0a03b 9032 ocaml optional mathcomp-bigenough_1.0.1-14build10.debian.tar.xz
 0464fd2950115f1f2f8dea5e42972ceb 7128 ocaml optional mathcomp-bigenough_1.0.1-14build10_source.buildinfo