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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:34:09 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-hammer/1.3.2+8.19-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:34:09 +0200
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.19-1build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-hammer (1.3.2+8.19-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 ab66e24e61cb5000b35d2663e3243ca4d780d0de 2111 coq-hammer_1.3.2+8.19-1build2.dsc
 50e599651edafd19148ff2d5e4b4fe477b2d2f22 2684 coq-hammer_1.3.2+8.19-1build2.debian.tar.xz
 3984285dc9d1da7b9d3b18b4552fec36acc5669a 7848 coq-hammer_1.3.2+8.19-1build2_source.buildinfo
Checksums-Sha256:
 4896e69317c8d729514a95126340d8c19c80e2fce837fda5b5348a5fe53e2519 2111 coq-hammer_1.3.2+8.19-1build2.dsc
 72dfb978a7628ff469174798a3121b58d61203057e33bf8bb7028690174e4709 2684 coq-hammer_1.3.2+8.19-1build2.debian.tar.xz
 7fc8b9ba45cee7bff87058b351b3557edebdb0118852abc4378dbe7330ece960 7848 coq-hammer_1.3.2+8.19-1build2_source.buildinfo
Files:
 8e2ade45956eeba6b4fdc0559e56f310 2111 ocaml optional coq-hammer_1.3.2+8.19-1build2.dsc
 eb727a3f27a3335787823b210a4cf28f 2684 ocaml optional coq-hammer_1.3.2+8.19-1build2.debian.tar.xz
 306b7abff4687f46f044fa538544d83a 7848 ocaml optional coq-hammer_1.3.2+8.19-1build2_source.buildinfo