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

  • coq-stdpp_1.8.0-2_source.changes ACCEPTED into unstable

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

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

    Format: 1.8
    Date: Sun, 11 Sep 2022 13:06:05 +0200
    Source: coq-stdpp
    Architecture: source
    Version: 1.8.0-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-stdpp (1.8.0-2) unstable; urgency=medium
    .
    * Fix the dh-coq usage.
    Checksums-Sha1:
    437f3e97fe3ee30c87b60b3a48ac5c88238b0f39 2051 coq-stdpp_1.8.0-2.dsc
    ac3a908cd20a81d0f8d789e74ae239ad509f54b6 2336 coq-stdpp_1.8.0-2.debian.tar.xz
    7ebd208f786318757e7b52df29519ff3b125deb8 6934 coq-stdpp_1.8.0-2_source.buildinfo
    Checksums-Sha256:
    011b9bcca93c51f1e75733f5e2428155104965c33115a86d01e6d14916f8c33d 2051 coq-stdpp_1.8.0-2.dsc
    ce41936d1329befdc094dbce4beb505a2eca2f8912dae02f1e2340dd91d3ae93 2336 coq-stdpp_1.8.0-2.debian.tar.xz
    11f031306fbc16037a08b354bb2da27e6f7c4dfa97635ca347dd40a89c78f93f 6934 coq-stdpp_1.8.0-2_source.buildinfo
    Files:
    660967cadfd85fea3a679d87b64e264a 2051 ocaml optional coq-stdpp_1.8.0-2.dsc
    cab101e040c2b073cf27fbd07db9c458 2336 ocaml optional coq-stdpp_1.8.0-2.debian.tar.xz
    7db09e1766d520c0b6b7d60b02a3dc35 6934 ocaml optional coq-stdpp_1.8.0-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMdwUMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRqV4QAJtCnb80Z5Y7/XLLqunHC7EbbeA4jRVH ffJpBcI9U25swvXyYLBsWDxUfz22gYrMuwSR/CRaMQu5Ji2Ma5StM/mwC6FUE8fV eXqv90JWQ0q547pN9A5KbneJsOR0U2Os6kOwKH8rz4r0Lw7ELWM9JO/aiJbQjtlU BMEu7XWGFomaDRySc4EH7b4SABDn6OGL09yMDV/lhSc6VHS5irQoC3KI927dG6D+ 64Ww3N2nCnJeV7f6USTvLP+Y+6F6Cabar50jYb//O68lllhJ0IaJFhozrtsRietQ n5nF+Jibh5I6S9mLCLnPwlPY+pkAgxrLLHERXjU2TWn+UJ/qIVt7UHppfaXndYa5 H8eVSjRtUWd3xsab4lbGZ5qLzcPIfntoipRl4gZG0JR8SoWkNI2nFuQ5Pkj7BhNN Mh9mABpIOOtgDvFL93ZFdOuv+ERcE13gKwz19c5KRdaOA/Z0yf/XkuEvx5HFMRjR ye+cMVstS7AqSJMOCYkKzfct3lwZO7KAG2CRTwLtZEIk8ffeRSzqpltZ5/iErL/E R0r+d/MVFDOF3LIaIXvUOODueS54X67JWEG2eqgkq7edHcgOSaqNEvSuRblkxrMi my93I24WiU4VwJzdIzhN44KzN+dyTzomZDIzOweoANINmEshF4yOi/O8LaqzWSN9
    KETva5ehInCT
    =VLk2
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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