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

  • dh-coq_0.2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Jun 11 17:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 11 Jun 2022 16:14:04 +0200
    Source: dh-coq
    Architecture: source
    Version: 0.2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Closes: 1012667
    Changes:
    dh-coq (0.2) unstable; urgency=medium
    .
    * Fix various typos in the debian/ directory (Closes: #1012667). Checksums-Sha1:
    f1e8f2bb55ac2cff9456de19858c0c66ee37d8ac 1587 dh-coq_0.2.dsc
    1c3ca9446eba8e71e8bcfcb291082722fda57670 3756 dh-coq_0.2.tar.xz
    fa7f482c6219506840592a3a5599a1fb7124accb 5614 dh-coq_0.2_source.buildinfo Checksums-Sha256:
    168104b517374d1147f6f487d87f7189b2348b8fdfebc0e1ace3a21caf1ebbca 1587 dh-coq_0.2.dsc
    8f5ffb0fcb777846e83a51a1e41c686fcc8c52640169d781e1e5f9874d94482f 3756 dh-coq_0.2.tar.xz
    28e51a47f4b2b6bcb1ad17d47e374028b3a7ad37c4f20863f0bef05158837e24 5614 dh-coq_0.2_source.buildinfo
    Files:
    d165bab9003e3f3c4ed6408a7a50370a 1587 ocaml optional dh-coq_0.2.dsc
    78337bf759623afe3404423fccdac6c1 3756 ocaml optional dh-coq_0.2.tar.xz
    4951d19becc4521a375a395719927c86 5614 ocaml optional dh-coq_0.2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKko0oSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRdLsP/0hUzCYUlpEHjf22lrLTCO5sQObzMLzV 4lup5M9fznpULip0SGpEJf2uTuqlziHaR3C4hoXM9Uu3KdkCporyOTfts323vtsg M1gcAnCZnVqunlEr9+SAWgkH3qhICW5V2+E8qbteGSDWTa5NmbUPNC69FWMJfwZG aPbPhaSb+jhBXO3Zvw3j8es2eCUweO9wt7pX0YuHQWp0WCkEoKSBhWs3AOhn95yI C87JMPIUCoLrBMCUXddV/pc0CFsAT8sr3eGqWYd117hpdumsO5ncGpy9HGcOGjyf 3iwFiSjS0bD3Q7/1p1OPZi/5Po7zpHtdRzYcsSqm21eZvGwSNFgAMw7gfA3kpVC2 UI9Vfd0V3jpFjySa6z29ceAZq3Wd695H9znziM8TsQ4wsUYllAVKWLpAmHNsaowi 5mDNG2j6am19ubwDNCgDG0/YqjELXFRggqOqT/wGKGI+ifOTFbXFxlahLbMzp6d4 WTZiDYLS/XkXJbVk2EKjUY+QbpnwCeAOWEoKnbqeLqliqyh+Lvyqtan11DNTZ47p 0/hZk8YkKy64QyD4rP4MIptkUuXqNdKyDqjZoRvDXkSB2w98Lec4zDJHDJ4a6tol 83Lqt5xPuySVRvoBKvzbXWc9p3cpMeSIzuFnbAEnKsL5gFDaB5g769pdPenjjYr/
    WVJzVYjNT1Lb
    =ydEg
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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