[ubuntu/noble-proposed] coq-math-classes 8.18.0-1build1 (Accepted)

[Steve Langasek]

coq-math-classes (8.18.0-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:14:11 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-math-classes/8.18.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:14:11 +0000
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18.0-1build1
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq-math-classes (8.18.0-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 c5ecbd646f7825f732330e585216ea001d53bda9 2279 coq-math-classes_8.18.0-1build1.dsc
 3053ec66317c0698a1598a4d418f0be94d3b1b87 3036 coq-math-classes_8.18.0-1build1.debian.tar.xz
 e5b984b90031d0de8e8bf298ffabbc4aa1f4f828 6742 coq-math-classes_8.18.0-1build1_source.buildinfo
Checksums-Sha256:
 75c8c166cb30c62f54bb47565ce00354b1eb1d8e5f47b614e84bc66432de036d 2279 coq-math-classes_8.18.0-1build1.dsc
 2b0c8c52b8d5cff49a96b5cb024d1e0785c6387b6f91d916a24f07c7c888c82e 3036 coq-math-classes_8.18.0-1build1.debian.tar.xz
 6321c897b51e720e884b04214d2f568e99e30836ff2fafadf8386321dbb48242 6742 coq-math-classes_8.18.0-1build1_source.buildinfo
Files:
 18b5b87c90eb4011cc533d9db1b72f6c 2279 ocaml optional coq-math-classes_8.18.0-1build1.dsc
 64d3f77c266ca629442e88d41947c456 3036 ocaml optional coq-math-classes_8.18.0-1build1.debian.tar.xz
 e6c7c0a4a8e2e06dce92784b4e48eaff 6742 ocaml optional coq-math-classes_8.18.0-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>