Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 25 Jan 2023 13:17:50 +0100
Source: coquelicot
Architecture: source
Version: 3.2.0-8
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coquelicot (3.2.0-8) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1:
6639370f9e7fc0d34192ec1bb2cf8b7964279bf6 2085 coquelicot_3.2.0-8.dsc
de12e2a4d9835e07ff9f3b2d5abbdb45d7857a84 2372 coquelicot_3.2.0-8.debian.tar.xz
0b3a460f149419d5bf06c175834d08c3b1a5ca3c 7427 coquelicot_3.2.0-8_source.buildinfo
Checksums-Sha256:
54a58b10010202ce6e65ffb59a4d25f90cf931b0a5fc2b48f89b7404fca0dbee 2085 coquelicot_3.2.0-8.dsc
fd4ed5eec2e14bd70818b23a329266db878db3ac0dd14162760a8d6bd95a3653 2372 coquelicot_3.2.0-8.debian.tar.xz
3f1f40da285b1121156f2005a38cc51ccdde0540bf5145ff2154e57e25fa0475 7427 coquelicot_3.2.0-8_source.buildinfo
Files:
727f3739cb6fcbf9b2d863463f41d7cd 2085 ocaml optional coquelicot_3.2.0-8.dsc
4c448eed10458e20e3ac1b37a850f410 2372 ocaml optional coquelicot_3.2.0-8.debian.tar.xz
d8b5352eeb70ab38e83fcbe27f2f1e5e 7427 ocaml optional coquelicot_3.2.0-8_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHfwSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRwmQQAJAK5BwTapHckSS+X+po1P0cMyhb16IH NNloOdSKtQ9Ld+b8gzYi9U6TM9M1SuY9H7tBz1DFbnYFBPin/ugqL0Sha0LlT2Rv eai4xRxU999FJnkaSP+I5a34FeByTOTbN/fHk/NySmQCVj1mT9bo88wIIUuy9+El z7itYktRIBaUstglUxrR5CzNym24LA/EOgME+5Lahv761dsuA67mhh+uPgEfHDqW xFlSYqbYc81ZFKThMUMt+W7E1HcUcc/MWfikx8NnvaGuOY1d1y8ZJA50J2TmqDfT yITp/RNh4nzEWlCeVzrTo4kInaa9D2UAeSGG58KweQkOvXAkjx6KyBQdQKFNZ2wH 1qB4PZI7tkJxiIhu30uYG393DB+gODMd7aqhCHR1TgXnrhekQpKzOS1w7D1+1QRA +89tYroKm4MGmFjGuAcdpdySMpxIdHeGxUaKSum9dTBHYc9A7fYbX1emjttaYme6 xQGtCIwaUGNsOiYH2NNkj++QXjpJkCM3HJQceZMWshz8O1TeP+G8wJpN9bvkPq0i 4E9a1m4ySAQHYUlVSWkoNF9ppH4ycGQMJ7odBr/IQbseSkywjAJfHF/Q+j0U4dbZ zYJ0DgFm4yElgi9jMZwMrJmdOhCWDIT1UJ/n7mEtobn5mRDT/qaaW3j6NEQ8Atqq
ug4ZgTY8vIHq
=q0X5
-----END PGP SIGNATURE-----

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