• coq_8.15.0+dfsg-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Mon Jan 17 16:30:02 2022
    Accepted:

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

    Format: 1.8
    Date: Mon, 17 Jan 2022 12:26:54 +0100
    Source: coq
    Architecture: source
    Version: 8.15.0+dfsg-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Closes: 1003586
    Changes:
    coq (8.15.0+dfsg-1) unstable; urgency=medium
    .
    * New upstream release. (Closes: #1003586)
    * Refresh patches.
    * Refresh lintian overrides.
    Checksums-Sha1:
    74a189e13b6ef88a43fbda29312d3a5e39851a8b 2607 coq_8.15.0+dfsg-1.dsc
    48ac3b1751bcad0651f69567bf7407b362fd64b9 4669948 coq_8.15.0+dfsg.orig.tar.xz
    68f0990cbf957670f0cf82877dbfb20ae8b2f78e 39660 coq_8.15.0+dfsg-1.debian.tar.xz
    c7d66cfbc6c77a532421cf743d38ee68ff38f31e 15549 coq_8.15.0+dfsg-1_source.buildinfo
    Checksums-Sha256:
    4251cfcf1ad5182c3aa912b9fab7aa97cf7aca2bb9b994425f71c4a181814ff2 2607 coq_8.15.0+dfsg-1.dsc
    dce3cc1633d9368bf4ce444e31bc837fa54d7cb186fbee50191dce03361d921d 4669948 coq_8.15.0+dfsg.orig.tar.xz
    9f1d0052d4973a1beddf9d2bb2ff5ff4e176d67a451f41ae4e6908962df57e20 39660 coq_8.15.0+dfsg-1.debian.tar.xz
    ecad907bb14acc2e7a1a1f9d792796712c0ce7b9ad395fd2d14917fa675c152a 15549 coq_8.15.0+dfsg-1_source.buildinfo
    Files:
    e264fcdb39e47d8d4bf5a3cd71ceedc7 2607 math optional coq_8.15.0+dfsg-1.dsc
    f6d50c68f8defba269e5bb26417c5a25 4669948 math optional coq_8.15.0+dfsg.orig.tar.xz
    2fccf55fb354ffc7cfb866935b637d65 39660 math optional coq_8.15.0+dfsg-1.debian.tar.xz
    abd5c442bb915588530c90fb567fd76b 15549 math optional coq_8.15.0+dfsg-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlgZwSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRUYwQAJZ8MJIVH9c7Q5qfsoQbuNyl5icuRAsX zWfUyLCDg+wmCx9CPjMIakvca3uONyQ745Gy13nXGCxBC63CdhAbCr0Ac0diGKDq yKY00jbGiptllFzBUjLX4ryKNjYhbD5yVVGpCLwryZscK95LA5L9lc+VM5+U1Zed uk0ews/c2K09jLIp9nU/Q74rxdfCdo0oP4e73ZSoaZKfFBiNro/Apk+VJ2IVtZn7 siw5F7P7FeOUM5b/sbtnvsv1QEYcJi9v8pSVZdGzKeOtXTqB0zeFhmSyCDga4tp7 sgPpOhbx5Iny7/T1VUsnJlesN6mYZBiNKKQH38UPaWmzpolbW/9YjJyuggppXj2j B8rDVvuKu4gkUkWsqc86VIzOxA85k9uwgZtneAaODOFYK7yZ+Oiad4Rk4jl8bWt8 Vw3yEu2gGxPfbolb3ZpTFBQ1O1EM+QYz/Q4B9CgAr+l/MBfngmXmNcosjIMZbrj9 2TPGM124Dlasx/wj61tblNwPT6nepPhNwROMkm+DvFfDPzYAul75MPbP+fOdFy6W b/MJPShJ3yShK3eQg0DQklvJgPp603cXHf5FvfhMk5863QWHQlNGMvNrNDyquwRS D6HfELNWvroJB18iufVWIZNDJH3GWBklkyhww28vDPHUoaVIinkFFwwfta8LPDJn
    doa13IG/N+Dm
    =acz5
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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