Accepted coq-hammer 1.3.2+9.0-1 (source amd64) into experimental

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

Format: 1.8
Date: Wed, 29 Oct 2025 09:05:48 +0100
Source: coq-hammer
Binary: libcoq-hammer
Architecture: source amd64
Version: 1.3.2+9.0-1
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-hammer - automated reasoning tool for Coq
Changes:
 coq-hammer (1.3.2+9.0-1) experimental; urgency=medium
 .
   * Bump standards-version to 4.7.2.
   * Update lintian overrides.
   * New upstream release.
Checksums-Sha1:
 180bfd0fa2ffff017f42883039a86ae08e7f328d 2107 coq-hammer_1.3.2+9.0-1.dsc
 aec3639b81dbf47886796190b8b8c30017daa1a1 148850 coq-hammer_1.3.2+9.0.orig.tar.gz
 34b9cd3735711442bcfb870920b878d95b1b2366 3156 coq-hammer_1.3.2+9.0-1.debian.tar.xz
 855f6871ac4c6f4b1f4a848ab7accc44c7f22aa6 6830 coq-hammer_1.3.2+9.0-1_amd64.buildinfo
 4c078adaaf7de5cde50698b003c966f2342537d6 507964 libcoq-hammer_1.3.2+9.0-1_amd64.deb
Checksums-Sha256:
 1c8cd476ec3b503d788436f3fd343d57212e8f36a0058ec427114770236abbfa 2107 coq-hammer_1.3.2+9.0-1.dsc
 da703c73d3888668e0810b77575126591bc2051d820732f1050bba78f4c80510 148850 coq-hammer_1.3.2+9.0.orig.tar.gz
 ab1051f8158c44d0f3206b205e1b6cb8f08b80b055698d6a4068d62e336fe8ad 3156 coq-hammer_1.3.2+9.0-1.debian.tar.xz
 1b898ee9d5d2751968b0e3aaa50c9171d4a9bc2af411f232dd8a1bc2dc85c1e7 6830 coq-hammer_1.3.2+9.0-1_amd64.buildinfo
 d8b096aa1d43e165e0a2e7c5e1bfb46fbce88d765a429c466bcbb04d7f1a092a 507964 libcoq-hammer_1.3.2+9.0-1_amd64.deb
Files:
 b78f489c51e793b446aa4b8897f8d587 2107 ocaml optional coq-hammer_1.3.2+9.0-1.dsc
 354dda0300e9af3122f45087d8be4098 148850 ocaml optional coq-hammer_1.3.2+9.0.orig.tar.gz
 07541d95597ee1a87ce315af85dee93b 3156 ocaml optional coq-hammer_1.3.2+9.0-1.debian.tar.xz
 7a429147e1d1682a2ee6951fe77d3ec9 6830 ocaml optional coq-hammer_1.3.2+9.0-1_amd64.buildinfo
 997adb8295e6878a975af0334ac4238f 507964 ocaml optional libcoq-hammer_1.3.2+9.0-1_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBy4oZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUL5D/9AuuiS3peqpn4xScA28V5t
/Ro99W1eHRU3zBDTZIUImK/O7BV8d14oAavlI51G4hCvJ+d1qzKjTnSFoHFKBN5+
0wAsKX3tLIroUp9Anrgdplp5l8R4uSncS0KVgwQifEWYFYr6js5c3yYeBbSmrqKd
DtSw5ibJwfPR8SyEGlEjF4MUbEpyNG/+/cvH8Qm/D/D497isSlWrY+LgnIqSHJlk
Q2oRXHyeYBu9DpVlq1bSdJkiLw0ziz+YUC5KVOYW1Ej+4EMl4MQZBNB6U+P1MDCe
A5U1xutueUsIw97uSsDQXlypuXqbfDyoB4tX3t6VmHP5U0XHYvZE5zcxURCnTBkq
s/rDXWFKy+rK6eMyEwn1HnQt71BwKoxMbe1g+pSKZYxjiCB96F0rh2rm9skMPUcF
n2ViPBS0Zs2R8/E4sN9of4FJFpstyK2s7JHpYArGDbI1JZiOetefkonF1QyD7dg2
VX53Yiql9redk1nE/64DE9MH8H7iAvq6Kvrku0A5bpDRgZXq2mRQn3OZDRy1426n
eC/v9fXrYqnLIIcGybKaTvyc2M9qevjjzU7qBEGKWf8vY4CcXW6MtK8OUB6kP25D
RyZFBACqsUu1tyFI3AyTEJQwmXqfIFDrhZAWF56z+jR4Qy025Re80GTkIuVkNBj6
j9miCMbZP2Ndo2eIFoAvqg==
=J8E/
-----END PGP SIGNATURE-----