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

  • coq-elpi_1.13.0-4_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Mon Apr 11 10:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Mon, 11 Apr 2022 09:12:49 +0200
    Source: coq-elpi
    Architecture: source
    Version: 1.13.0-4
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-elpi (1.13.0-4) unstable; urgency=medium
    .
    * Re-upload source-only for testing migration.
    Checksums-Sha1:
    ebeaba04b36ca0dd8286914c857239ef4bc5e7f7 2146 coq-elpi_1.13.0-4.dsc
    72148ea543013ca2feee76237d29d0cb9c821aa1 2948 coq-elpi_1.13.0-4.debian.tar.xz
    8aa6c38f1070630c5dbc6c029e236b1a6a0e4e6d 7159 coq-elpi_1.13.0-4_source.buildinfo
    Checksums-Sha256:
    9a90deb64bc0a6504c5aad13b84fbf8a13c3a44c4441808a17bc4389b0c52aa7 2146 coq-elpi_1.13.0-4.dsc
    c34c50f4efb39dcc971b89190b4794400fc4aec6bb8060b57fdd71836cb4ba26 2948 coq-elpi_1.13.0-4.debian.tar.xz
    3d12e71b5fc1782b80d20ab0f726027a6c13f301757a51bc4f99e7ee590dec46 7159 coq-elpi_1.13.0-4_source.buildinfo
    Files:
    dfcf2dc28defc1f5de70f801a6bcae3c 2146 ocaml optional coq-elpi_1.13.0-4.dsc
    229f0b0598d45421e9a96c5a7ab52d00 2948 ocaml optional coq-elpi_1.13.0-4.debian.tar.xz
    6d0771ee7263075746231513e4ee8f89 7159 ocaml optional coq-elpi_1.13.0-4_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJT1RwSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRwHcP/A8sQwYuKTMJedBFyQpx8TKuehTrQL6h d+NGOHNcNyVMHGLI/g0SErqjx2+ZXye/YJwRR3Skmpi6E82X0a2ny7tt/UaZ+jQh dF40rbYXAeKg0OrnXRk1h4VZbQmRSoixhn6dFXozAT9GuM+ptyyYRtBfIi7xV52f M/iCaI7vxDDXhuIzcjuLZyfjcaTo7oDPVtOYy85X2SBwaROHYPRXniHpagsxgwph 8u4G2KCpUbIfJm1ToN3O/wVfCZC1FJWpmIeadvhA6gDRcLq5TgvAMoftkDmp/QiB 4VHAfLL+09HW1QAwTm/0l5IVNXOyL/JTHdyO9t/R6y68zEIjfjTRYuK2HR9lhk4F T6fAQkkVWazXRiGiUDYfQlcC4y8f6VbTs53v3cUQE4Gr37hRFdSOGNDU42QKo+67 C21rMksbseOvKk1YiACfIdui8KIoTVKZmy7nUAgXr5jD1Iq9qg14okZYzITdze0A DuS/8ka2/BjbQ2nKe9nAo4AK63ICZRJSWFAydObgtt+Ad/CqAGGvQHdHrGJd6MhA b/WWwgQhIhrzE/16MiHHyFMsIeXRyagMmI+KZOHPJ5ETV9/oO5zF2A/TUeTSQAWs IKh2CnSh06JYwlio/7uoxvzkg6s/vkV+XYaMIcHddjXkDJGRRTi8/hd0Z827U2M7
    2GAB1AGyhObR
    =aJX6
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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