Thank you for your contribution to Debian.



Accepted:

-----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 <[email protected]> Changed-By: Julien Puydt <[email protected]>
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-----


--=============="47373401450821763=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz20ogAKCRCb9qggYcy5 IcFGAP9ILWwmRfhjEbZn8TUwyh8T093G9PMHwtuwPOS+tczCSwD/SRfybHi9+AWk A6GihoYPTzUYf47uB7v33te0OZLmZgU=nJC5
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)