[ubuntu/noble-proposed] coq-equations 1.3-8.18-1build1 (Accepted)

[Steve Langasek]

coq-equations (1.3-8.18-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:13:07 +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-equations/1.3-8.18-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:13:07 +0000
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.18-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-equations (1.3-8.18-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 5d0df25e384bb47982c86ca2e5f2ea00580593f1 2281 coq-equations_1.3-8.18-1build1.dsc
 631b525261fdd49986e1e2f790dfb5fea4e2e8a0 2768 coq-equations_1.3-8.18-1build1.debian.tar.xz
 3b10a357b89329f3ada08f7103bae5411eef90e6 6738 coq-equations_1.3-8.18-1build1_source.buildinfo
Checksums-Sha256:
 80d6e3594aedcdedc3d4d6375b0debba2e7449ac9078b576e669f23d6fb6c57c 2281 coq-equations_1.3-8.18-1build1.dsc
 b5b437080f00d4f066697b837447ca8ef2af232d3b863f8adb10d87ffd24d1b0 2768 coq-equations_1.3-8.18-1build1.debian.tar.xz
 2bcb2b1b17fe0c7f87c62923ec883e5257d548674524611f2e8d3769c59774f3 6738 coq-equations_1.3-8.18-1build1_source.buildinfo
Files:
 cd484ce1192511af4b32253feed1f6b5 2281 ocaml optional coq-equations_1.3-8.18-1build1.dsc
 bf4a5bbc897faac5b011183718aa86e3 2768 ocaml optional coq-equations_1.3-8.18-1build1.debian.tar.xz
 241efe2c1bf0768813fd312f647b139c 6738 ocaml optional coq-equations_1.3-8.18-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>