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 <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-----
Attachment:
pgpetIWPXEwfF.pgp
Description: PGP signature