[ubuntu/noble-proposed] coq-reduction-effects 0.1.5-1build1 (Accepted)

[Steve Langasek]

coq-reduction-effects (0.1.5-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:14:52 +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-reduction-effects/0.1.5-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:14:52 +0000
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-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-reduction-effects (0.1.5-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 03f9d7fd9143a3fdcfd68f1d6c75c338e9269441 2329 coq-reduction-effects_0.1.5-1build1.dsc
 c761cab5e5c18314107b44284deec8eceac6d0d8 1828 coq-reduction-effects_0.1.5-1build1.debian.tar.xz
 9648282f40c4f50f07d6ced58e293c3e02c8c295 6758 coq-reduction-effects_0.1.5-1build1_source.buildinfo
Checksums-Sha256:
 480c2b11cc6b59919d52d1538c284f69d9ce32c371a9fc3d1fde163df7c45783 2329 coq-reduction-effects_0.1.5-1build1.dsc
 fe63227b5b847afcd4ab4245974af0350bbd087557aa7dffe4d7ea84da2ac106 1828 coq-reduction-effects_0.1.5-1build1.debian.tar.xz
 9270f8516d0539d52b2edebcd13b414d5bd3121bd6c51ee69143624669ad0786 6758 coq-reduction-effects_0.1.5-1build1_source.buildinfo
Files:
 c1fe61931f1b16618285ef4c74dcd8f0 2329 ocaml optional coq-reduction-effects_0.1.5-1build1.dsc
 23c1415a63b2329bae6ce280a4d9ef42 1828 ocaml optional coq-reduction-effects_0.1.5-1build1.debian.tar.xz
 0e0c875056e8c5605e2b0b7ee4f3bc58 6758 ocaml optional coq-reduction-effects_0.1.5-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>