-----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-----
