• coq_8.14.0+dfsg-6_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Nov 16 09:10:01 2021
    Accepted:

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

    Format: 1.8
    Date: Tue, 16 Nov 2021 08:35:39 +0100
    Source: coq
    Architecture: source
    Version: 8.14.0+dfsg-6
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq (8.14.0+dfsg-6) unstable; urgency=medium
    .
    * Still missed bytecode-only architectures for some packages... Checksums-Sha1:
    cc66dfc972b9ea1ee17229c0bfa5e94190d868b9 2925 coq_8.14.0+dfsg-6.dsc
    a1e33e5970f1c72cb372b75976587262af8f2a27 39844 coq_8.14.0+dfsg-6.debian.tar.xz
    15d27a0370486bb248bb13bc2259415231ca84f1 15442 coq_8.14.0+dfsg-6_source.buildinfo
    Checksums-Sha256:
    542408f66677a182a89ef27f121af4b48c631a751639a14ef06d4bc8e521a3e4 2925 coq_8.14.0+dfsg-6.dsc
    06f561429ee4973e0a99c526d6dd48e5e4de568b9f7ee211c520c06ba855b580 39844 coq_8.14.0+dfsg-6.debian.tar.xz
    ab46dfd772ccdb34aa25538d0e278babca208f972de5a806a5054b39e47ad687 15442 coq_8.14.0+dfsg-6_source.buildinfo
    Files:
    310ad11ac8271c66585783564c2eb190 2925 math optional coq_8.14.0+dfsg-6.dsc
    e15e87eebd8615cb7299683842f244c0 39844 math optional coq_8.14.0+dfsg-6.debian.tar.xz
    99f38a183bbe1990c43f1c444a30b0e5 15442 math optional coq_8.14.0+dfsg-6_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGTX5cSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRhI4P/jKq+6PmEECptGA+ei8N1ETuoUkO8kVC FSFYYN3/1bEGKJsto8LWSDtkFXzvzQ1fpa13BRIlZ4bNdr0vIkvto8lpZAfmT7xU xFR22fhVITMkGcxdYA+lnwrH0mMhlsooR2WefKWXdHr8bgWVhwkbwIih052P8qu3 csH8YfLmhdCMZotjsfejFAAaPztJ23ITvN2buW747hClewQq6wj1FhhCvZ8RQVef YkBdELXYqDwZtA1CAZZLwQKRy+SBSnBU2AwFRTtNZppg11SGrWOjg/qxuhdsm4mC ox/3GmUVl3p5NcsVAMDRav81SBCm1fS5j9lOA00t1jYT/qkMXg8h8HEvmLZR1dY5 iQsGY0bM87VkIFYqb+yrbWDcgOCN0Vo2Xz9NrzSe80Ip8nmWC1WU6yjnxzxDwZsN EpvOFGNRk9M24MJx0ou1BtxMqsD5ntV6YKXQ83xCj+2fd968RsrSWG1SaLq7dGls /YD07J9I3kVLI/a5+DG0XoNSdF2XZv3VXXlQk0WCG84drPzpE0I1NVqNfalPnp7m pCuk+87w3roBy+FKgQAUItKiFUcqb5wlzWjUNl5Ff76Keoo2kmIG+H/syP8T/iU/ PMVzxucUKcTb9FepJ0S6HQqr7Zq32yhu9+PevtI4tk2ezO+LF11hZLj1SPIOw4Yk
    zBcqddAEnzYc
    =xRMX
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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