1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

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

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

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

    Format: 1.8
    Date: Tue, 16 Nov 2021 07:33:35 +0100
    Source: coq
    Architecture: source
    Version: 8.14.0+dfsg-5
    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-5) unstable; urgency=medium
    .
    * Missed two bytecode-only architectures.
    Checksums-Sha1:
    40399cd4dcb4f34b5e08e52f71d3dc5511f89ad3 2989 coq_8.14.0+dfsg-5.dsc
    d071199e3dbecdc1b02cd670900a4edba28018fe 39828 coq_8.14.0+dfsg-5.debian.tar.xz
    51ad29603c8a815e80aa0b3fd056a546e8433a23 15505 coq_8.14.0+dfsg-5_source.buildinfo
    Checksums-Sha256:
    ee7e3316a3052c4cef50c4c6f2b944fe578f2a02572e1016f70e7874fe8dfffc 2989 coq_8.14.0+dfsg-5.dsc
    fb34fe5c8a37d5f5ee91e6daab1fe8e815aa4bfa568a4edca06d3f1ba45d95a3 39828 coq_8.14.0+dfsg-5.debian.tar.xz
    28edaa07350d1e3f5d8409991ec84cfc2cc0415ca29da1c6f4ca9579ca1a0ad1 15505 coq_8.14.0+dfsg-5_source.buildinfo
    Files:
    ac359f495e9973aac6a0bba70bbcbfe3 2989 math optional coq_8.14.0+dfsg-5.dsc
    c02c74d2a1775a7c01642a59a9f70903 39828 math optional coq_8.14.0+dfsg-5.debian.tar.xz
    278adf9cf636d844bd9e034e17e37d70 15505 math optional coq_8.14.0+dfsg-5_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGTUQgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVReEwP/R19eChbqdfNbdvsNglVq2OMdCbiqRyg WNWjtJ8xbNlBb3yKqFgUsa2vzPmD9Z3sy20NRz4xRaE2Qr22di5ik8lXkT8d8+Q8 T9j41DeUwhkdzGcIj7dSEt142V2Sk4XXLY7TSCHCinasv+brj2wwZWuQT7r/6CE9 IB+abGNV6u8Ze4LR53z+vhB0x08ZjiUQDWcLejSYQkzi64/bxN9yX7+5LssbOQwA yEDOzsfRxmxLxMb9zZoNMvHysiGtz0bGJUiOSB2hjtBsHai0weAefptEiMoKS6wH HT41mHx7Y76jKCrmP3pPpum5xgFKY6oioJK4t2k/ZEyjlwxCy7SAVt8buakN7i8/ qR0wiKmAaV21OzrrRgau8s/j5lIHT451mMjwlWgENemXKevmNGkp21BjgwtThtxo TulGQDQxxDsOjuGIH/hzxjQHC5zqEAlmVtTGyONmK7wCVW9eSmndDUWTpeFMAvnf g5aBHOBPADo2cecYoL/3cYXJG79kT3ceCw1bpeFU8sk4dr8/Hu198bIVJgUj6Fkw K32RSA7nYM8bRtAIiRyTjQw2z/ExYBMLvY+6qAZ8kzS2pdJFW6ySf2uRZXlz07Zt FR3nFLxzoNbwtWwbz/gojK1eiSVbHDlo7iO4XZHzwFBgWtwSDbWnxemGZw4x3N8M
    ofF7+Xgb6FHc
    =Myaj
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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