[ubuntu/mantic-proposed] coq-hammer 1.3.2+8.17-1build1 (Accepted)

[Gianfranco Costamagna]

coq-hammer (1.3.2+8.17-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:10:55 +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.17-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:10:55 +0200
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.17-1build1
Distribution: mantic
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-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 5ff15876618a4aae3e8050871e1475ce0277a86f 2111 coq-hammer_1.3.2+8.17-1build1.dsc
 b72702ca341a854f40ab45edd8ac79c28df9e7ee 2604 coq-hammer_1.3.2+8.17-1build1.debian.tar.xz
 322c6590a2b49296f228a78e1fa7340a6c5ee977 7802 coq-hammer_1.3.2+8.17-1build1_source.buildinfo
Checksums-Sha256:
 9051ba256b27c534fd3089c5e561136243a309311790f2820150a1a7760def3d 2111 coq-hammer_1.3.2+8.17-1build1.dsc
 ac4be814167e74d76d32f18575450c79d2cf03ed4c010b00267689b7439a0c20 2604 coq-hammer_1.3.2+8.17-1build1.debian.tar.xz
 de7e2f15b5c1e58f08603ef0a8b18ad5da22adfb07d5d7f47214d1a3df64383c 7802 coq-hammer_1.3.2+8.17-1build1_source.buildinfo
Files:
 3002570ae230c9681ffad9d9d1cd3015 2111 ocaml optional coq-hammer_1.3.2+8.17-1build1.dsc
 64fa05aac8d4097aa54bebbb286d7024 2604 ocaml optional coq-hammer_1.3.2+8.17-1build1.debian.tar.xz
 5cbb5560a4d4345376f1e8738a367656 7802 ocaml optional coq-hammer_1.3.2+8.17-1build1_source.buildinfo