[ubuntu/noble-proposed] mathcomp-abel 1.2.1-2build4 (Accepted)

[Jeremy Bícha]

mathcomp-abel (1.2.1-2build4) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 14:11:55 -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-abel/1.2.1-2build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 14:11:55 -0500
Source: mathcomp-abel
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-2build4
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-abel (1.2.1-2build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 38565d9c6cf9ad01fc0469c56b8b2b1a1831d712 2250 mathcomp-abel_1.2.1-2build4.dsc
 6b4fb616ec55d744c26263f57693d1247747774a 9892 mathcomp-abel_1.2.1-2build4.debian.tar.xz
 ac043c2bd320c5e26bdeb415ba4ea90f157ae6bb 7276 mathcomp-abel_1.2.1-2build4_source.buildinfo
Checksums-Sha256:
 5aacbefb4b39e38a2016df1cc80ce7a10fd829b35493b738a9652f0092bd1e96 2250 mathcomp-abel_1.2.1-2build4.dsc
 376ea5d32f16a7139c7f6d7a20852634fd7d416230e4843cead8e523109553e2 9892 mathcomp-abel_1.2.1-2build4.debian.tar.xz
 5984748e6aff7449e09715efcc7067e57c5b6526dc3cf355ce92e772b83acf58 7276 mathcomp-abel_1.2.1-2build4_source.buildinfo
Files:
 ef3317304cb0c1503b88c5aefe69cf56 2250 ocaml optional mathcomp-abel_1.2.1-2build4.dsc
 65c086a0b0864b80f18abcbca7facc06 9892 ocaml optional mathcomp-abel_1.2.1-2build4.debian.tar.xz
 ebe58dfe3610445d05d9efc77b28f9e9 7276 ocaml optional mathcomp-abel_1.2.1-2build4_source.buildinfo