• coq-relation-algebra_1.7.8-2_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:12:21 +0100
    Source: coq-relation-algebra
    Architecture: source
    Version: 1.7.8-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-relation-algebra (1.7.8-2) unstable; urgency=medium
    .
    * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1:
    cca34d1472a0a6791aee746922a12830d33f6480 2234 coq-relation-algebra_1.7.8-2.dsc
    ce673217a105529dd6e4ddd1d935587cf249d60b 1656 coq-relation-algebra_1.7.8-2.debian.tar.xz
    6ee0ef4ed4c0b2a14cc5b85b430e3eb4010275c3 7504 coq-relation-algebra_1.7.8-2_source.buildinfo
    Checksums-Sha256:
    cf2ba87187b27ce639cd7f158f6373d8968bcadcd623e16c420cf4ec589b8dc7 2234 coq-relation-algebra_1.7.8-2.dsc
    87c4bfcaca752097fb5c181d0ad5530855ba45d83b28f016723e4da48f559df9 1656 coq-relation-algebra_1.7.8-2.debian.tar.xz
    b716c2d84646731a49dc71ad3424645a11060239aff51a97eb4ca055978e9417 7504 coq-relation-algebra_1.7.8-2_source.buildinfo
    Files:
    1bdae6c8c5d0e72700a082babd2e26d2 2234 ocaml optional coq-relation-algebra_1.7.8-2.dsc
    a14abcfb672517455aa53b236d979166 1656 ocaml optional coq-relation-algebra_1.7.8-2.debian.tar.xz
    1dc694759e28573053202e162a8021ff 7504 ocaml optional coq-relation-algebra_1.7.8-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHLMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRbTcQAIVPlgYp4FcYwKlXJth8ulxddiGCzT5E vuMSb/h18velYswMsy+m8dOG7TsEeUfICVASA8hfGpSDY/b7i6d2CLJ8UJTynw4J IG44uAtTyXL1iQgu+IlS9UPJEpccUK6BiA4keqipOS5SaffevEVuqZPknU25oJgk ulO4tnM3IGcKfnU/HWLrcAmP+zdGeN4yUNcR52kAyIFZn3FNH39p6ofHIgCragaR BMTF8Trm3XdL5ovlQM7ycXglE6ETTKdkyFvO9NELLGoEHMYClCLapRXhyDR+Cw/L iJZMEfA/4ZB5bukEbFIzzfRUq1Atrd58qA1vORewpJUqfqV2W/XF5DXRhPytD+9r QiwU6aTEJuj1BQQMOmGOiy2KeJm3/WJ6ph3/JjphUVLfUJRUkpCwsEoAVToGBxZs 9buEaEAOBmH4Hp2qeClfKjGnhblt1Pn2cF4cfvenP7PLayZUkZZmPBA7JmmWkE3e 1Rda8hCk7lVhwHyrnvAFsM4Fusg/RB4rlNippVvcbNJT8DgUF/3hUyzJarRGdd4a EMReSeF58+hRiRbxEzEDfTCLfbsZIsNRUmcKItwBkO7CZ2mKXjbCj3R6iAvCQpfY CGdXl0cIdz9DqeulXK3rFXdvutVXl6DuHKWdAHdQwDD3vUV14X9NMp7J4Cqr86N5
    iKmFpKsj0gI1
    =l+Ug
    -----END PGP SIGNATURE-----

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