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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Tue, 26 Dec 2023 21:52:13 -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-2build5
-------------- next part --------------
Format: 1.8
Date: Tue, 26 Dec 2023 21:52:13 -0500
Source: mathcomp-abel
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-2build5
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-2build5) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 9a34d3c67ff933506371a4be4c503b2d328fb144 2250 mathcomp-abel_1.2.1-2build5.dsc
 53d2af4628103edb149250fc90a772f09ccbb3b3 9912 mathcomp-abel_1.2.1-2build5.debian.tar.xz
 113f1ce45b4422c579433128f291473a28954e56 7276 mathcomp-abel_1.2.1-2build5_source.buildinfo
Checksums-Sha256:
 f28c439f15d607777040dacf6c420d76e5d24538127b09193188eb6a717d8fdc 2250 mathcomp-abel_1.2.1-2build5.dsc
 0dc9bd4325c4cd6fdd336b233cee4d6ed711790e24fe3fece6dd229dcf7e0d55 9912 mathcomp-abel_1.2.1-2build5.debian.tar.xz
 f4eef55f212c09a1e89371831f5a548edf19724874fd2a2e5623349fa01f94f1 7276 mathcomp-abel_1.2.1-2build5_source.buildinfo
Files:
 38a18e39a82e39ef367dd220acdb15dc 2250 ocaml optional mathcomp-abel_1.2.1-2build5.dsc
 56c1108a812bbb5678ff1d0135ff6509 9912 ocaml optional mathcomp-abel_1.2.1-2build5.debian.tar.xz
 6870984cfcaf287adbd469a024abc629 7276 ocaml optional mathcomp-abel_1.2.1-2build5_source.buildinfo