Accepted coq-hammer 1.3.2+8.19-2 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 03 Aug 2024 17:31:32 +0200
Source: coq-hammer
Architecture: source
Version: 1.3.2+8.19-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
 coq-hammer (1.3.2+8.19-2) unstable; urgency=medium
 .
   * Team upload
   * Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
 6c4e74a9537e665725e07f48a6d13b25afae44b6 1887 coq-hammer_1.3.2+8.19-2.dsc
 7edfd9393e19566d5a86a10dc5189547af8d53ea 2732 coq-hammer_1.3.2+8.19-2.debian.tar.xz
Checksums-Sha256:
 1fba669ef6e50b4dd6ca9c1b6a818ae6e750d91336f363a0ee136fc6c09bd11a 1887 coq-hammer_1.3.2+8.19-2.dsc
 97bab3b7b69718563c7cf8d4ce72ddc500ddcb4724fb8735fa0263c3d55d6dac 2732 coq-hammer_1.3.2+8.19-2.debian.tar.xz
Files:
 c12558795bb648f2602af976c80b37e0 1887 ocaml optional coq-hammer_1.3.2+8.19-2.dsc
 3a1963dba29061698cc0dee07a873c44 2732 ocaml optional coq-hammer_1.3.2+8.19-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTZISHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB/esH/jmXR4gPD23J2a6flDYFcfdb/1nZOlQt
6s0/CHljd6CPmRr06pxoOKI2VQIP//0//Z6G318Cs6wiEdVPc7HW3iB3wu6CJj9f
6wzBdFUbuatE9XEPatmCiNZBrWwEN9gRLOwSLI5L+6ldTvUKemVbGoetoDOYeydf
rU7BB1xA8+sSh5RIrjvPM0q6M6VQM7PnZ2Fyd/kpvHeKpjZn6d/EoUgmzrTMBtTM
G3zCJGb88sIha0uwZyA55koeNLXlIkjRPKbxT83SsXCGU2YPnGu5dfgTP0APipgr
pzZXlaTTQPQPjw6PJ70G06pDXa4yKMABfjV4oTA98IbpqtOUYYKcDtE=
=tQSL
-----END PGP SIGNATURE-----