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

  • coq-mtac2_1.4+8.15-3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Aug 7 09:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 07 Aug 2022 08:38:06 +0200
    Source: coq-mtac2
    Architecture: source
    Version: 1.4+8.15-3
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-mtac2 (1.4+8.15-3) unstable; urgency=medium
    .
    * Add missing shlib:Depends.
    Checksums-Sha1:
    58f7b3d44b77431a11b295b40ab0ee5c76d7dd53 2095 coq-mtac2_1.4+8.15-3.dsc
    203f1fb278e4218185b4db0501f24c9a1a6c46c4 2404 coq-mtac2_1.4+8.15-3.debian.tar.xz
    9ff1c422b83cbc2f3b04b819ce3ae37cd3aa90fc 6985 coq-mtac2_1.4+8.15-3_source.buildinfo
    Checksums-Sha256:
    ccc793df8bf60654d31d94df526982a11d40a03d7c6e6709bda5ddc7c6075957 2095 coq-mtac2_1.4+8.15-3.dsc
    5c4121c769d0093b0e2a902b63e945a56277a73fbd390f312041c7e08ba93c09 2404 coq-mtac2_1.4+8.15-3.debian.tar.xz
    1c80dd746afaa03b9bc86b8183330753c37c8be804bdffce274f95b6fd1c96b8 6985 coq-mtac2_1.4+8.15-3_source.buildinfo
    Files:
    b9ee81f3eae70b9d0e003e4fcc48e1ad 2095 ocaml optional coq-mtac2_1.4+8.15-3.dsc
    399f3462c2213de8f9c9dc8142c8412d 2404 ocaml optional coq-mtac2_1.4+8.15-3.debian.tar.xz
    59f32e585945631fb3484cd009c376ff 6985 ocaml optional coq-mtac2_1.4+8.15-3_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLvXmQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRczsP/joGxxAjBrgM+uLZdbM4Nr3lxDr93IgD 6kb6S/PDnVWZDSdTOmgk5AKxcNLBCIl4jX0zaGsbi04FurP8Bd4zXzs+A5i/8zsf CzHOtufluUw3F1TWFgqqin9YoNEkA3SteePexdgrRRYEFXotOVC+nIELPCerwLU8 k4sUMPFw8EjTkTawdzMzMe80DT3zc88cDv4obp5A20EhTRkfkGc8QGqvtgUfCnh3 m9AP2zjnmm6nbjVADsqQZMY+C6Rfa5VjTSw8QBtA2gr6ubUGLGY5TEwC+sgHwB2n mo8bmHAEUEfvgpGfYuIA1SbbyLDw6MZ9NDBaSCO0vC5ijSsDDzn69V9n+or+3pj4 unb5xSdsM3wgeWUG0jKUw2IwYykuXZG8r0ER3+zeNEXmIm37k5eUZm7KdHX4Nu3n 1Mhc2D/zyu7bFuAWQs3jsalNdCtRWMJsJQZOxG6A9Wnhtf0LUJU7nMSm9JhASL4R bA1W0jnjxgTTSdvZL8HsqzQktEZU9KOJqp0eWxnC/42tyuXHj8ZdjAFxfpXRMzrQ ghlFIUPqcfqasV71ngt+pQtC8asixgloA8u9YXO+BokWHNJeUkjIbHa4juoaXmfs gRJ1CPTVy6Nvr+Y3m3xnqIwcPQ4fjc4ZN1m/gvP2fkLLijY5jawO6Kx7kMC6D5Fg
    ftc0oUy3OQ5P
    =KYFl
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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