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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:38:08 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:38:08 +0200
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.19-2build1
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-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8db7795a90c46b89968251208c5f420f570886a2 2111 coq-hammer_1.3.2+8.19-2build1.dsc
 e700aaba3d76c0b708b3f6d79573c890a93c6c36 2792 coq-hammer_1.3.2+8.19-2build1.debian.tar.xz
 1e76c70046275060f5be0485be47a40ddf63651b 7872 coq-hammer_1.3.2+8.19-2build1_source.buildinfo
Checksums-Sha256:
 ba1979321d7adb4c346862372063559521472d79b5dbc0a9bf5ec2f38423403e 2111 coq-hammer_1.3.2+8.19-2build1.dsc
 4a13911c04eef2a84250fba83fb841dbf850f35c5ab0d11f292431de531afd81 2792 coq-hammer_1.3.2+8.19-2build1.debian.tar.xz
 7240f51981d98083f7e8fc96681d9208112aa1f1a83dc1027b7bc0e606f7a375 7872 coq-hammer_1.3.2+8.19-2build1_source.buildinfo
Files:
 e213a61ce1124f5e0b528fb275c41e9d 2111 ocaml optional coq-hammer_1.3.2+8.19-2build1.dsc
 318156b6575e92d4672decf6f3425ddb 2792 ocaml optional coq-hammer_1.3.2+8.19-2build1.debian.tar.xz
 5c5e1b19ee60276cac1b08b6d6e85c33 7872 ocaml optional coq-hammer_1.3.2+8.19-2build1_source.buildinfo