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

  • coq-doc_8.16.0-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Sep 11 15:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 11 Sep 2022 14:38:48 +0200
    Source: coq-doc
    Architecture: source
    Version: 8.16.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-doc (8.16.0-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    f6851f33b5a224dceb02b41d8d696a8903a3ee1d 2626 coq-doc_8.16.0-1.dsc
    333e974b2368da8f499fb487d196ab69b85c3517 7397421 coq-doc_8.16.0.orig.tar.gz
    4485ce84ff4575f4a22068875896259662739526 7760 coq-doc_8.16.0-1.debian.tar.xz
    2bb41b1ffab2fed9d2cf161472f372fbedf33c80 5871 coq-doc_8.16.0-1_source.buildinfo
    Checksums-Sha256:
    d9b9dc503311b4f21a3e6910936bc41508fd756dd711b6afe0ca9fd825f345f9 2626 coq-doc_8.16.0-1.dsc
    36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587 7397421 coq-doc_8.16.0.orig.tar.gz
    23c2b6f67a054bdbc0ab279302947c473091007e7f38775993113820cbe8e9d5 7760 coq-doc_8.16.0-1.debian.tar.xz
    238bf8036a710b0c88d213b1d5082c50ae23a42a35412d90bddc79f65090adab 5871 coq-doc_8.16.0-1_source.buildinfo
    Files:
    c6da1314191e4a1b7b7c5e85b02dae34 2626 non-free/doc optional coq-doc_8.16.0-1.dsc
    25d03ce14d34448d6015f5dbc6f2ed2a 7397421 non-free/doc optional coq-doc_8.16.0.orig.tar.gz
    273186675ea5fa18f583d73db4d52722 7760 non-free/doc optional coq-doc_8.16.0-1.debian.tar.xz
    ba0816603b3534bcacfdf2ecee88e0c0 5871 non-free/doc optional coq-doc_8.16.0-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMd1yMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRmtIQAKPIN2mFTirrMj7FGeqPgMZ8HcyyEI12 qnT7dOjr+1qMO0KshOaqzga/7l35zo1ToJtaxacYgRDiBXIe7U7aKAkY9ZFCrNSE Z1ASG4JvbPrVltQIoEAQt3XaN+6Ezjp35nSVG5FIyt90zBHSPe1N8esuyZ9pxQF/ XcWcj9xOj53Hb4eiAuYtYc7iH4RL8mt69LEWlYFAtKQ8aq4BTvDk4D5G1VWYCScJ x2j0pjjrXef7Eh74uSO1/ezgT5cuztiibgw1MdyeOY7id8YgDShC/Fq7qG5mSImF DtUmGCybaFh1ChKwPyUk28/VUuhk/fw1PQWGkBjNzcsOpYtZ9J5k6a9MRYYDbJHk 3aKCumFqg75CTOGVVmhNiwX3AJMITeHt2EOL8nkrFqY5qaOg9Zr5HLrBz1g+12pk oHCv3e5oWA8Tg4s1R8v9dQ5ZwpKV1OVQ8MjvR0Oxo5EjyfU9RD/EvsKpjzWrfEIO ibAusA4BLXO31eHEQkWOeEpiBIzD+Gd7YhctCXjWof2xs0gs5VKhBKnBPdNu4Cl0 Lav7gc8GFZjF04RWnpNRvAFw5CcYH/u7VeS4nwfzpVApghvq1oSEgCIjbfJZXqi/ eQxNjXBIxxEknLKCDvn3aYSfVLPkOyLAML+JnDOLZloXoCODq7D2NDPKxfpdGH1Z
    pOmySIvGvZgQ
    =jLDf
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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