[ubuntu/noble-proposed] coq-gappa 1.5.4-1build1 (Accepted)

[Steve Langasek]

coq-gappa (1.5.4-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:13:30 +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-gappa/1.5.4-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:13:30 +0000
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.4-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-gappa (1.5.4-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 327d4b8f5ea9e32c96dfb6d52a105ab87a5212b5 2188 coq-gappa_1.5.4-1build1.dsc
 64bd4b445716978effaa9520a63abbf7ccc3c1b6 2316 coq-gappa_1.5.4-1build1.debian.tar.xz
 cfa76ae44b33e7717381dddda4c3ae5841d5a27c 6710 coq-gappa_1.5.4-1build1_source.buildinfo
Checksums-Sha256:
 f4f333a5baa24f30e7098282a188291936d91e3d9adc74b50dfba5a8678e9203 2188 coq-gappa_1.5.4-1build1.dsc
 a10db557e3f24c1d7c2740a377d65b060f5bf0e0fddeb6cd96cf9e70a25847a5 2316 coq-gappa_1.5.4-1build1.debian.tar.xz
 cc3b87a885e64557e767f7df8a0c6d77dd1c23e980f2e4110c581c672075f373 6710 coq-gappa_1.5.4-1build1_source.buildinfo
Files:
 dfdad917391248aef524f51631243f6c 2188 math optional coq-gappa_1.5.4-1build1.dsc
 69f05814c3b3fc87425f3bafbbf338a4 2316 math optional coq-gappa_1.5.4-1build1.debian.tar.xz
 0ce4cf5333984e23d87bb84e0591e819 6710 math optional coq-gappa_1.5.4-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>