Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 07:50:31 +0100
Source: coq-hammer
Architecture: source
Version: 1.3.2+8.16-2
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.16-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1:
850d0273817b24cf94ff0a3d5763f9f152ec9885 2102 coq-hammer_1.3.2+8.16-2.dsc
de4c02e9f3345f1895ead397eb4dfaa0f0f5c2ae 2316 coq-hammer_1.3.2+8.16-2.debian.tar.xz
18691c7e6ca8d7510e573fbaf9899764c6708b57 7403 coq-hammer_1.3.2+8.16-2_source.buildinfo
Checksums-Sha256:
d3c279a1075082df4d69c99fd99ed13e0bdb4e4f26ee5737a0e5cfe11aba1cc9 2102 coq-hammer_1.3.2+8.16-2.dsc
7290c70a5f181c3ed90461654c49b65332697ec790056b9ab97514670b485c26 2316 coq-hammer_1.3.2+8.16-2.debian.tar.xz
cd07ecf33b03a6f7204cd4d87f8ea5368333599239641e6a67f9ac5bebc8874b 7403 coq-hammer_1.3.2+8.16-2_source.buildinfo
Files:
0d95afb175f40674d5ab6493bfe23394 2102 ocaml optional coq-hammer_1.3.2+8.16-2.dsc
53e37e2e6926779de21ee3c5dd5a6537 2316 ocaml optional coq-hammer_1.3.2+8.16-2.debian.tar.xz
8c4e8c3b632d60baa4fa8ccc6fb2ead7 7403 ocaml optional coq-hammer_1.3.2+8.16-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ0WoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR8n0P/A8zbpVutZoXt240SHnS/AOo8WaHF2SH lvEbqoNppnVP7yJqm9JBnedKNRjMfsVDm+mfKPnjzCqCI4mMwd5Nb3Cx4Cvt3lua TDxnbFMN8upqFX5EkRILhpgfKXP/iZORATkcxmE9qcu32m9IPRzbfxtmxVJZgJTx VyEy2Ja3WmEM2p0+AoBzw6BfPLhxqjhb4DBZQ7jd5Sy8210yXyDF+7f4aQn07rkG IytBU45XqQi7yUttE5AQFNSGZzofO5nL0zJDEbHQB7aIVfa+noYvSVquK2fgIIZz oER2KO9bd+L2VKwRxpuh+J+BZBA1jDDvzJaUDHhT94HpHOSQzNdCZsbCC4XgDcoD Cz+l602sbVyHEOS6P0R95gEGwWJBo4SDj9rKJgub4LWzMH3WmTU0qjp+l+TMm8YG SsA4uT7jGRXj/xeKbTagh67N4pVf49lZtWFNCKkg6pMLlg/fBVWdeE1CdrSjfiId txvVeojLqF3036fLU7jlX6s4vrSCwZReSSNbxlyw+fG8fl9qOQFionhbWcSGku6x uzPqINmczrBpOnwpTgK/iBsUVG+mDVKMmjgl/ujxCuCrA7hZYc8KM4d8b0zlhMn9 fxGYdPkF24wPvu4Sdo2awWbAjLZutiqaTxXvkcuu0KxYcX05Wz5aeoiQ2NZz4F/V
tYHM6giezTLg
=6NmJ
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)