Accepted coq-hammer 1.3.3+9.2-2 (source amd64) into unstable

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

Format: 1.8
Date: Mon, 27 Jul 2026 20:59:26 +0200
Source: coq-hammer
Binary: libcoq-hammer
Architecture: source amd64
Version: 1.3.3+9.2-2
Distribution: unstable
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.3+9.2-2) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 cadf7ff491b46973099333430e81a12cdc5876bd 2114 coq-hammer_1.3.3+9.2-2.dsc
 c265b73a1d23974e1b96aaf2409513e1c5b47f63 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 b9e5c6fc07499a44eef570aabf918860fbf5ec7d 2908 coq-hammer_1.3.3+9.2-2.debian.tar.xz
 2f081ef1b6f65178a5c39f211f0b2faea105ad95 6938 coq-hammer_1.3.3+9.2-2_amd64.buildinfo
 ef5ca62d7e41b6eb93aba8e71cca1c5eef788f20 517508 libcoq-hammer_1.3.3+9.2-2_amd64.deb
Checksums-Sha256:
 91ff227c21c615ebf950c61c2ae0555cd8b94e4054b4aecb2484facf6f2f07c5 2114 coq-hammer_1.3.3+9.2-2.dsc
 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 5a10a8a084fe020975f6d1fd24423b81f27349447aaea9904834eaba44d2d38e 2908 coq-hammer_1.3.3+9.2-2.debian.tar.xz
 cbf03a6fba1c0efab9cf917d82ed756b5a3d45d2dbbe80dcf07d2377ff50873f 6938 coq-hammer_1.3.3+9.2-2_amd64.buildinfo
 2b6108b905ce1e5b87c92087d4760fa62fa4f2367f8b3da1feabc772e2f76e70 517508 libcoq-hammer_1.3.3+9.2-2_amd64.deb
Files:
 4dcd7a80136aee5c681ab7fb23b08ba1 2114 ocaml optional coq-hammer_1.3.3+9.2-2.dsc
 a8ac52389ab89258d6bffe68d7093de1 178234 ocaml optional coq-hammer_1.3.3+9.2.orig.tar.gz
 199da2f040d97c16faf9d65cc9625801 2908 ocaml optional coq-hammer_1.3.3+9.2-2.debian.tar.xz
 f36f60e819af16017671ef6389f6a9d9 6938 ocaml optional coq-hammer_1.3.3+9.2-2_amd64.buildinfo
 19b5808028d09bc8829236f8b57665fa 517508 ocaml optional libcoq-hammer_1.3.3+9.2-2_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodOwZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUcHD/0cQ5B/dFQaqzd1wb4BM0JJ
Xk7DarIkH8jOr0QH57QA1m+qs0kchaBbdQjPiECa/DAeSJHO82AsaNsRD27WgzMN
gvq8pMw+fr1wTPwHnIjHmHcODdEZsVtarJ8/S9ROZxaVazFnI6LO7XLuHqp/hsSs
uxSCIqAVgyXlVWN0YhyySmGziTFBCtMj1wEHICTX1iNtdB7/7z0LgEMKTZMKfww2
J9uWiamVamxgbnrLAwwKcdoJOglxpz49McWLUvrCzCLQr2TXPb7iMu81pR5WYmyL
ZQNp6vJ0MXr5IVUusyUXiNS1y12YspMNjgXtcK7uGmCjcqYWOX4igEX9UKN1Nm3t
r8RsuBq33hiJhbk4OZmtiVTfKrIPqPbIRTX4jYwTDueDvIgks4B7TEXryK+7BjMC
o5Y00p+BgXbJXdaabZ/BG7qpfj3GabdZn1FX2ZkLpqjA+r4u6I2pvtnaVVP1fodd
ZKKh641BBSdesu+83F+7on0bbX5eVV5sKVcF6B8kVQsxhJsR8MnR9o50JheY4yur
/H8Yvab6G6d+O/OEl58FfsBprqIaBVkuEH/CFIqM6I5UqD4BU0RHrefJrW5BiXNV
e4UUve57zkFsjJjYvXsCo46eb3zmXnG16DMgX5XDSPJekJ3SJzOQ+o+qWt6APQFq
bf2UhJ6SpX/J9DPdC5dpvw==
=AZYo
-----END PGP SIGNATURE-----