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

  • coq-corn_8.16.0-3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Jun 13 23:00:01 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Tue, 13 Jun 2023 22:14:32 +0200
    Source: coq-corn
    Architecture: source
    Version: 8.16.0-3
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-corn (8.16.0-3) unstable; urgency=medium
    .
    * Bump standards-version to 4.6.2.
    Checksums-Sha1:
    f225274db0681f6970aa0f96a9d7ef3a9c1b567b 2092 coq-corn_8.16.0-3.dsc
    86fb451ba4233d74b7715e86c576415a5c6e01d3 3884 coq-corn_8.16.0-3.debian.tar.xz
    f332b85710a5d935ceeebeaa493e198f9382a67e 7494 coq-corn_8.16.0-3_source.buildinfo
    Checksums-Sha256:
    1914c0156606df559dc2cdae4dd51540973fb7e27bf53f4398e16c8cff0273b4 2092 coq-corn_8.16.0-3.dsc
    94de36fa94e84720d5438d673bb8df5acb6e2d6346ad2846323a14e5a4522f46 3884 coq-corn_8.16.0-3.debian.tar.xz
    6e968065395e57b696121307246e4c36182dc0a11748b06eba911178221546d5 7494 coq-corn_8.16.0-3_source.buildinfo
    Files:
    6591b684e230881033263690a0c15f63 2092 ocaml optional coq-corn_8.16.0-3.dsc
    faff89d6eaccbc202e7960bb6ee95263 3884 ocaml optional coq-corn_8.16.0-3.debian.tar.xz
    07116d69be0269b8f0b9e0c90b3c2907 7494 ocaml optional coq-corn_8.16.0-3_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSIzjESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRsOwP/3cGWlusnLTui80gVwgLQVm4W58IJl6u LSYV05IuWKh1RGHby+x1NK8T3IK1uSbLZCrJN3fWn575fD8l1GjX+T0MNmFwhKux uW1Nb5ntH/Dd22Au767gYlVxYXO8Z1Uk3kZgaZv/bCGPuNCy4K6k4hCsGYLg+iLN sXHeVZO+WVGPWZCGLMcMkCk4dkr6ED0oFRwn7dn8DMj78yId6/nI1lsCo3IOcDJC 3IOEvL3nwtjKWXvklkz9IdvhIexh1onk0BX0FiLwWMQqLMdgeAI9gRDYxW5/f2JT E4tqT8GIHTXEeR0TNtNSjP6Vh258seGNzYGj6n/NgPbJFt01EbE4qsNSqX+nOBSS SQCSJOYWuU33jAla0jKxQTu7BdARIiKHaMpA0R3HnKGogPtWXImnHuTcWaXfj1G+ MYg1XL3hxv+AocGF5kQwlIHjjO5pN9t0F4MBnVYKuUaaIM9Q7XEhoAjQAzrUh/nQ iqB3aqnkqPgKGz3muSDkZOtv91KavAz0rOA6It255qB3E4VSOixTxUbOviA8RXH/ vJ6zysxTRkl36899fwWx37LK62Swwa4RyYHI7Ezl44+0+JEHNj7S6YXe+gDQSAXq 4MiGbijC3tDWpxbld7rB9b6Vlo5xsNrvTKycqGhJ6dv3RYgA1v1ECwcC5O2RTZnd
    56mSz4JATViE
    =6hqD
    -----END PGP SIGNATURE-----

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