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