[ubuntu/oracular-proposed] coq-hammer 1.3.2+8.19-2build2 (Accepted)

[Matthias Klose]

coq-hammer (1.3.2+8.19-2build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44:37 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-hammer/1.3.2+8.19-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:37 +0200
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.19-2build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-hammer (1.3.2+8.19-2build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 48de74466394af906ad79381c4b3e48a4ae90377 2111 coq-hammer_1.3.2+8.19-2build2.dsc
 5582a1f73615be733be1c5918cb00cf07d7db2ab 2852 coq-hammer_1.3.2+8.19-2build2.debian.tar.xz
 2434d15e155114cfb7b3e8424fc271f76844c9b4 5716 coq-hammer_1.3.2+8.19-2build2_source.buildinfo
Checksums-Sha256:
 e11f9619706bb7438f4c56b088451049e301b53419a2404b4ea8d9696957d7f2 2111 coq-hammer_1.3.2+8.19-2build2.dsc
 47d1a948f5d0ac549678ed516018ba8be725bc83d1481b2dd064c199c4c7f0f6 2852 coq-hammer_1.3.2+8.19-2build2.debian.tar.xz
 73f7bcda7629ac411cb566cc9650cb7338a31b606565b3a554177f845e1a08c7 5716 coq-hammer_1.3.2+8.19-2build2_source.buildinfo
Files:
 a1f076ed2f1bb52052a33bb6530eab3e 2111 ocaml optional coq-hammer_1.3.2+8.19-2build2.dsc
 5a38b42a30e55c28d30af71d52c5fa74 2852 ocaml optional coq-hammer_1.3.2+8.19-2build2.debian.tar.xz
 6ad548e04710a4fc52b38ccc74737890 5716 ocaml optional coq-hammer_1.3.2+8.19-2build2_source.buildinfo