• coquelicot_3.2.0-8_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Thu Jan 26 14:10:01 2023
    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)