[ubuntu/noble-proposed] coq-hammer 1.3.2+8.18-1build1 (Accepted)

[Steve Langasek]

coq-hammer (1.3.2+8.18-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:13:38 +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-hammer/1.3.2+8.18-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:13:38 +0000
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+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-hammer (1.3.2+8.18-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 17a48d998972a5b13a3af41c89d2e127d267c7e3 2227 coq-hammer_1.3.2+8.18-1build1.dsc
 fdeea3ecfb37094910ca5b3c19a15dd32805a2a6 2688 coq-hammer_1.3.2+8.18-1build1.debian.tar.xz
 0ea6e61b16eae60e0ab3453a4aeb2af635a39a8f 6734 coq-hammer_1.3.2+8.18-1build1_source.buildinfo
Checksums-Sha256:
 104361d5239842f726ee8776d7a733fa2a46ae1a65d8ad1276c21035270af9f0 2227 coq-hammer_1.3.2+8.18-1build1.dsc
 7f68f3fb0d4894f188504980fd9d68dc9035ac7aebd89c662e3d7b98a70d4ed2 2688 coq-hammer_1.3.2+8.18-1build1.debian.tar.xz
 38eef997820643703c315930b2729eae0ad47f812f6cf5c99d42f76e0e307a2c 6734 coq-hammer_1.3.2+8.18-1build1_source.buildinfo
Files:
 f26a674ba7b300ee998c7f0a734c8fee 2227 ocaml optional coq-hammer_1.3.2+8.18-1build1.dsc
 ea49e270cab5173cf884c414a7c2e7fa 2688 ocaml optional coq-hammer_1.3.2+8.18-1build1.debian.tar.xz
 aecf0ff7b2371a334b2dab1086eda9d3 6734 ocaml optional coq-hammer_1.3.2+8.18-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>