[ubuntu/noble-proposed] coq-hammer 1.3.2+8.17-1build2 (Accepted)

[Gianfranco Costamagna]

coq-hammer (1.3.2+8.17-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 06 Nov 2023 17:03:34 +0100
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.17-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:03:34 +0100
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.17-1build2
Distribution: noble
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.17-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 10e64251e1e335462eecf3612f07fcee21df30d3 2111 coq-hammer_1.3.2+8.17-1build2.dsc
 5642633fd8b321b946558c78aa632a6fae4650b7 2636 coq-hammer_1.3.2+8.17-1build2.debian.tar.xz
 b36b915b322888accb3ffd447f553673cd45382a 7828 coq-hammer_1.3.2+8.17-1build2_source.buildinfo
Checksums-Sha256:
 1aef9ae769d3e5658c0ee040459ae94fb3f1a8b55f4242f20759104c625a615a 2111 coq-hammer_1.3.2+8.17-1build2.dsc
 a841740ea78dc5fe8f97bc3b45e97a63998f6062ba8c6764bd812b8840c8ad9b 2636 coq-hammer_1.3.2+8.17-1build2.debian.tar.xz
 86e96fa6df8a04d5e57119a475b0e018f6240357a66958be78e6273302740591 7828 coq-hammer_1.3.2+8.17-1build2_source.buildinfo
Files:
 9834e0cda1723eae0de706e7aaffaec8 2111 ocaml optional coq-hammer_1.3.2+8.17-1build2.dsc
 2e7951b78eae167ef868fc52b9613789 2636 ocaml optional coq-hammer_1.3.2+8.17-1build2.debian.tar.xz
 33b6da0c8fddd5b717d5f761356bac59 7828 ocaml optional coq-hammer_1.3.2+8.17-1build2_source.buildinfo