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

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

    From Debian FTP Masters@21:1/5 to All on Wed Jun 15 11:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 15 Jun 2022 10:18:44 +0200
    Source: coq-bignums
    Architecture: source
    Version: 8.15.0-7
    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-7) unstable; urgency=medium
    .
    * Depend on a more recent dh-coq to fix issues.
    Checksums-Sha1:
    a8463cdafd644745f4240db6ccafd84c8e792e93 2244 coq-bignums_8.15.0-7.dsc
    0ac824c254613308dd2415e9c44ed9134d116c13 1940 coq-bignums_8.15.0-7.debian.tar.xz
    5b4351791a33fe41ea8d004512016911ac7c9d7d 6735 coq-bignums_8.15.0-7_source.buildinfo
    Checksums-Sha256:
    9474bd8ab34c2a7e96bc244d6c7c7ad11df1c65a747b441255d1fb94d1278cd0 2244 coq-bignums_8.15.0-7.dsc
    17c884519998599e8dcfea7107d4bbf9877e8cf042f183e66820bf0551ebd95f 1940 coq-bignums_8.15.0-7.debian.tar.xz
    de53c7bb21d4d16610b178f201831caf8edf1ade1f945e0cbdf8ed27cc16497c 6735 coq-bignums_8.15.0-7_source.buildinfo
    Files:
    09fcc82f49f52c9e967521b64bb18d28 2244 ocaml optional coq-bignums_8.15.0-7.dsc
    7a43715b4dd73edd6cd1ed1fcc46311b 1940 ocaml optional coq-bignums_8.15.0-7.debian.tar.xz
    4467834bdb7d71411a305477d68dd5d0 6735 ocaml optional coq-bignums_8.15.0-7_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKplisSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVReXgP/3FHMH/mQhgmqqRZq7sdqDgwVMU5wrhL 85E0N834fjokt6U05BIteOGKwSUb3f3xjrPpaKPk3wCZm7n6kchV/1fDQikZn9R+ 883B9EicrkOoVwFwMRHTI+KwoBAU4cBrmmIeP8vdlbdJslZ165kuuz8+jLNcOdaZ 3ws7zmCADkNBxusNdStKfOFNygIghl0YPFwUApB25v9j5VabdnLxmD0C3y5dKVlp NUD1kpuoIYxX46pWeuylqHT/yrZHQIUsxmO3trkMyb8Uh+KX4GIuywWOCBtTxHOx E6+oUJCxz1pvK65F+XadQ5okGopipzwRfxJZewx/WY6z1kjilX30E4yy/fGLOxck DVWI7Q6geFDRvAD6s9uI7Dgsg8U65sQO++b0GVeOoAl2waqrEMozqy5CQYwKxXju U9W4aqEQYy72YMgRDFpCd2jVSWQ3uROirrBGRMI4SZJT8QsihWYAsAJpOBWLXbxc jfj+WO2PO/VEFtA3J3DEz474eQFmrB3d8aM7MaRIHQP21OU/sdgLMw7SSfTgh3Xj nBiph7uQUs2cZEuxlAUkh4L/r3SV6AQ2KnenDBSby7sRj4xncbDgN/oQa4mPe8Um R6wH7qExDvgIlb8Crqt16l9CzRQxCva4b6AsIWAkUzcWhO1dOPwmfSlQBkFwMQGO
    +AFQdhZjXSQj
    =sP7Z
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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