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

  • coq-bignums_8.15.0-6_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Jun 14 08:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Tue, 14 Jun 2022 07:44:34 +0200
    Source: coq-bignums
    Architecture: source
    Version: 8.15.0-6
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-bignums (8.15.0-6) unstable; urgency=medium
    .
    * Add coq to the autopkgtest depends.
    Checksums-Sha1:
    faf64fe1bbb76c58e15ab0472a7f58532e3045c8 2235 coq-bignums_8.15.0-6.dsc
    a68391d5b72e485e112886a167450b9e8e4362cb 1912 coq-bignums_8.15.0-6.debian.tar.xz
    3bc01b8d6bcfd5daa8f69acc2dabbb8606e12ca0 6735 coq-bignums_8.15.0-6_source.buildinfo
    Checksums-Sha256:
    250a7e5b2ff4ec7f1e824fa4665722ef85f6572a845fbddc9633270f96857dd1 2235 coq-bignums_8.15.0-6.dsc
    b66f61a53980680a23dc1a15f3d5b7813aaae8cd4a1921d745d6427c3550ff7c 1912 coq-bignums_8.15.0-6.debian.tar.xz
    ca21aac51b7ee2961b029c231876ed12d260dc177c8cfcec62e6438db9b9aa4c 6735 coq-bignums_8.15.0-6_source.buildinfo
    Files:
    ca6a835d3c40441094962b0eff5b50c1 2235 ocaml optional coq-bignums_8.15.0-6.dsc
    e938a0d8a5f2b6d3df24688ba6ff1545 1912 ocaml optional coq-bignums_8.15.0-6.debian.tar.xz
    9536d6da916a41bf2058d35268a46f4b 6735 ocaml optional coq-bignums_8.15.0-6_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKoIHgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR3IEQAJLsEhmfhlpAIrKCYuPgAvu5zTBV76nJ YMUsp4WzzYrW1DV1KCWXu+SYRtAvSZdxeivPT2RnFeWBftVQnBSLGkiq/E96NdKC yystzV5Hb2Y0qXEQrfzg3zAwNDgDnuNukUeXuaZ3M+5srx2YhuTN9zkQ+qFhQL8T G9XgIbaHSMhVRkSZt8MGduVKtv6CwVHW0nlZon0v2C5kyKHIhkwLwKHIBu2CtyMu z/cSX1molAmY8IYbt8HfcbZ/hcmnDIWgmBLKCvoc4rbFmO6lyJQgQdngbJB3TRUL Iyqb5Eguj2Kn0XYAr1EUgN257/f7VuIDWLVinZ/gHMYuoh6rUq5CK1DSRfyDj8sb spXU1i+q6m/hMWaqVydE6Ztmce+bRCugG5SA46AGutsiKJipRR3rTR6YUO+OGEHh 1jN8+fTsG6Er5GpYF9hOvMe4fPUfTKEYcWpJRPJ2X/tgURf9v/rOyYbOPw3f/waB 3SHGbkYWPwgR0FLklx4aGU4EPzG0jn8vnwLsZt4a6+l7Dk28De4XnQpYNNQ9M4xK wYJSCyS9Cf2GclTSeyg0fgfyLvXVOL61hw9+zBU/FObhwrNDpYNXMTnuQU9t29/W WCNa226LfNHNoTAWnukmNVvfmbU6iUq3ChB0tfaXp2fG4Oi65StOP9lbKLunYmcH
    SA+ojnNKA1Gf
    =gVQS
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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