Accepted coq-hammer 1.3.2+8.20-1 (source) into unstable

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:44:58 +0100
Source: coq-hammer
Architecture: source
Version: 1.3.2+8.20-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-hammer (1.3.2+8.20-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 47251e469a4f2dd9436fee1fa7455b06ec735015 2112 coq-hammer_1.3.2+8.20-1.dsc
 a58883c54299d32040f1528ce85c01286c8b1a93 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 0d597689e27da8781aca9a10c3f6f6f28c87403d 2744 coq-hammer_1.3.2+8.20-1.debian.tar.xz
 d96270838709abf061db4f0b096494fcc10c3bb4 7148 coq-hammer_1.3.2+8.20-1_source.buildinfo
Checksums-Sha256:
 abd259225b173be297c05117a63f6e3560ae6899a63e33b14b311e740aa76545 2112 coq-hammer_1.3.2+8.20-1.dsc
 758be180ee54268638cf4747e691d3b6494439b0893f2175d9f21ffc9aecc22f 148863 coq-hammer_1.3.2+8.20.orig.tar.gz
 944c67f34268d28cf2b8948fff186a887b0575f0b0dc2a4f6bb83207f4438dcd 2744 coq-hammer_1.3.2+8.20-1.debian.tar.xz
 59407d8816edd1a7bc4c43f46edf151598296fb34e0f0c66c0edc9637b2f5cfc 7148 coq-hammer_1.3.2+8.20-1_source.buildinfo
Files:
 50086b493a6a9e91f4bc5b81873f8dd1 2112 ocaml optional coq-hammer_1.3.2+8.20-1.dsc
 9fecc706975099981eb8ea648b4340a1 148863 ocaml optional coq-hammer_1.3.2+8.20.orig.tar.gz
 0278a7440262a88542e1361ae4060994 2744 ocaml optional coq-hammer_1.3.2+8.20-1.debian.tar.xz
 6360f2e2eb3dbe5cc4d00f9106c4356b 7148 ocaml optional coq-hammer_1.3.2+8.20-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9r8sSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNFwP/Auq5wi49Sap9GOoSm7TAy1kWDC4uplj
rijH1n0FM3vzNIA/H7KNy2kuL9IhlOCtXbEUM6OZcCWG5xOrxGQ76q7JeJdUy7D5
RfXyDZ3e8w6OSOL/q4O8fLn7Kv6i3biWDSmcFXa/3sjIORKmciLPnSD5E6j6AgOg
clhxvhX1kd7ZfDQVz9rR3U5cAtq9pcKnnLBhiuwV95HV3/34JQH9qddXGNau3XG+
FcvmMNtEC1CwD2FRon0lRvOQi9YWNRmaEWPqQDSoWMhVK/W+KsATh8g2s6UyjXiP
P18JrxFvKsGr8cKGJj5R1apx69AIOLbk1JIHchFaJ/Pstgw8hAJLJlYMIBMHP7ug
QFVkpWN8w01QYZ9tW0a0MkGAMbLDkMxDid7hixMVVB+e7TrgLxeYheQTTPW7ZRE8
NUw97udBRGLR/yAcUANfboG7bBihtHRyTCjg6v6d3AqRyZnzsSQizYjSt4dEdYwU
psndnSBJkJsuxSHgUWgZJ4L610M1if0jgdqfWNSr3XwP1mXbHJ0uxoyzK/WDalK/
FhLjJJ1H8AIzHJMhk65LvUWe8hqtb7c0P9DUnpZCJls1HLA44LdoOQItB/D+2ceE
iKcaUMneAqZHftzncP6YvRn+7NSglhZvl/WgVtrpLSq+KAkdmjIb4HPnwPAn04Nd
BgWVwgj0FhFl
=H/50
-----END PGP SIGNATURE-----