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

  • paramcoq_1.1.3-7_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Jun 12 14:30:02 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 11 Jun 2022 22:47:19 +0200
    Source: paramcoq
    Architecture: source
    Version: 1.1.3-7
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    paramcoq (1.1.3-7) unstable; urgency=medium
    .
    * Use dh-coq.
    Checksums-Sha1:
    99bd2db288a61e88958807af1cb4286ccfbf79c6 2182 paramcoq_1.1.3-7.dsc
    0be17453a41bc2f9f04dc6762a206ff8c06ea370 2936 paramcoq_1.1.3-7.debian.tar.xz
    a3a3694db9a0c16380c1ec6aa9de6a4d2604a1b0 6715 paramcoq_1.1.3-7_source.buildinfo
    Checksums-Sha256:
    1170beb96ea2caea611c4d489d20dfb66adc7b059fe198a0922e9c1ad54866ea 2182 paramcoq_1.1.3-7.dsc
    19c81bf4fba95ec1d05b573afa7870443e4d533c38d6dc065ff2dc5c5830e269 2936 paramcoq_1.1.3-7.debian.tar.xz
    bbd82dfe294e0242958998e5e03a6b4432babfb6712d7c80479808e72099ecda 6715 paramcoq_1.1.3-7_source.buildinfo
    Files:
    b236a97146bc10c273c281b3119b6741 2182 ocaml optional paramcoq_1.1.3-7.dsc
    33a14d63b784863702ad3386d9ac8e41 2936 ocaml optional paramcoq_1.1.3-7.debian.tar.xz
    90d9ce3a55a7bfb67a58fdc65eff3273 6715 ocaml optional paramcoq_1.1.3-7_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKk/2USHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRRZ8P/3nzmB8p5A7apd7wATawn0AofajvcvjA XxJz0bQqJ6bcGDzRB00yrJPDwuybqM48OTW6QDDIUsKI9teo2bwmGlHeHlI9BAAY Hwb6EbOtEQiWtPz7+prE2ExxTGC2kT/209JuUvUtlE3YhusqCaQWz5ynP3Alx0CD A+uMngkNakZn7QnIYuyvd1PxxBoIWoiT2JUYAADAbH8gSmGtakJn43l6mPP7M9fr bCDRVaIVI+7H6ozZxsdeQakrY1hE3Fypij2/aMnyOxdEyYdq6XSNr0Qps7bmp75x xa9VBTuciQs+nDytkUtax+02yWBBbT9aCjsojq8tgiqpRSrIFPu/8q8g6zZXpCEt PA1b+txdcCNrgY6Eic4UAvVFLy9MLDHZvM/QBWQHBTBx7BMkMSJdCVj5PsIfkYVJ 0d7OH131rNq6iNMGfC6dsUTxU7ufXqYWN92m6uNUgoq7zFhnOzXGeWSqFFsLO+rS qvQ8oT43a6Aw07wt1DugpkKkQhEkYdU7JYCLupUTIodHdoe9XMIBPHfVmSscxb0Z dZPjn+5DE4gJMklV89lCeyV4FfoeJmnLDnU6avAgpr+CRN7fimM+tLoDQnCLYfxi uvaLbUces3yj2GqUC28wvibj8pLbj6M0DI+MW2dzW3fmRsXXIGIujYL075s8E7J6
    BPAZCRhWQ9pl
    =45M7
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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