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

  • coq-interval_4.6.1-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Dec 13 11:40:02 2022
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Tue, 13 Dec 2022 10:47:06 +0100
    Source: coq-interval
    Architecture: source
    Version: 4.6.1-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-interval (4.6.1-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    c04f5d0bbac8113dfd52213878cf65ea099427ee 2182 coq-interval_4.6.1-1.dsc
    2acd2a45495f10e08aba6b9520eab97c8870e04d 259459 coq-interval_4.6.1.orig.tar.bz2
    bba98d147a08c3de87f82827d410fa0e994010ce 8728 coq-interval_4.6.1-1.debian.tar.xz
    03aa523bd0450ec4758038869668df6350045c86 7748 coq-interval_4.6.1-1_source.buildinfo
    Checksums-Sha256:
    83c5f4f4fd2849c2fd8de4089243b8d64833091ed5faedadf91341d8b88aa147 2182 coq-interval_4.6.1-1.dsc
    29df28bab9a87b41995f2d4753a56067b3a4047ad0f1386c378cea23cce4a4ef 259459 coq-interval_4.6.1.orig.tar.bz2
    6ff45bf7e07c21f51142c605462909d94a3fd9775d1400c8a0ebd049b8327492 8728 coq-interval_4.6.1-1.debian.tar.xz
    0df31607b71a655223524f935dceb99e540e0bd7ed5cf9051584428819b4c904 7748 coq-interval_4.6.1-1_source.buildinfo
    Files:
    4c68b148d3177496fa8ea1f47be2f1e3 2182 ocaml optional coq-interval_4.6.1-1.dsc
    5d5f13150d2634408f0abde20508340f 259459 ocaml optional coq-interval_4.6.1.orig.tar.bz2
    06d3a515d7d801d25935d2c8be3a1662 8728 ocaml optional coq-interval_4.6.1-1.debian.tar.xz
    2a841cd4b0849fba3e50a0e661d920cf 7748 ocaml optional coq-interval_4.6.1-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOYSjISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRfvgQAJMFctsoRCdfh564d4o5FYNZ/ZUb6iRD Ze9unfY5SwS/Y3UOFicuztcqR7s6iOjIzU2MGpRboIvo/apgo95R1fyksT8Hxz1O sgsHZFKUKhPX4BPKLvsXHR93bXO+9wJB8jVDivkxIBzfVsHi7WYe3BWlOw0dEHPJ jBuQm2f6+I7knQMpDzesxyeAf1+oSi+w9vAFqMWOwS7zN6Qz+w79vknPSXBiHRlj YAfNetZy7WXiBZnbpvG08FCaN4H69TFOS1Qg/64Y2bfANNEAQAMO1YzQJoZ+BZP9 864gOlFz7DJpPoMTMRJ6j7jC0B8Uunpu+Hs2bsaoXbXf/g6KjlqIXWURqqHDQNb9 ldWRJ4R8tLvCi9OiVYsSKPiMQEJXVPov9dEu48NXoeh1cdgVxykGn49xf2wHdyAK GYFacOeQEsTt+FBC1B/qIdET2QqJ4FEwHA2IVrB02sIcd6ijD8L1iY6sVot84E/J SsIitcD/LB0hG6FNlcesR5wqiRQIH6rwrwp/67z2h9FFhGGf61GkjTflO8ritFR4 Nmac2GawlN+iJuvCZTR2LunXLj7X6B8NyVVKLXxyMalF3O5b9hrW2OZmIVebEs3V WuTbV6QhEAESvbHPpJjEtpP5T4RBJkoELgTpcTw6oaPzNPe/0RzpU17v7RIYiAbU
    dvFGlBF/I8w3
    =jgS+
    -----END PGP SIGNATURE-----

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