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

  • coq_8.14.1+dfsg-2_source.changes ACCEPTED into unstable

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

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

    Format: 1.8
    Date: Mon, 17 Jan 2022 08:54:23 +0100
    Source: coq
    Architecture: source
    Version: 8.14.1+dfsg-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq (8.14.1+dfsg-2) unstable; urgency=medium
    .
    * Make the ocaml libraries available in /usr/lib/ocaml
    (so ocamlfind sees them)
    Checksums-Sha1:
    f0df1a9b72ee67119c143964b8ad65c7d7547344 2607 coq_8.14.1+dfsg-2.dsc
    f3f58555e944fb558be622da93fa8235e367cc2c 39952 coq_8.14.1+dfsg-2.debian.tar.xz
    435882af12ee0196055781087b7411d5a6035fd5 15549 coq_8.14.1+dfsg-2_source.buildinfo
    Checksums-Sha256:
    c72b53b8127242b060fe58bb1d4cf36de53fdd50f5e5e7a549f0d395ef57fd74 2607 coq_8.14.1+dfsg-2.dsc
    1751dba3ae373c7fe7912108bed06f0c7e7ba6d03aaf46063a20e2c05df9d1bb 39952 coq_8.14.1+dfsg-2.debian.tar.xz
    17c1aa870bbe71599eb5e5aed424d26c6af3a2369d7d9dbd14335218b2150314 15549 coq_8.14.1+dfsg-2_source.buildinfo
    Files:
    800380b4417628cc173efeadbd2524db 2607 math optional coq_8.14.1+dfsg-2.dsc
    781002bbf404d706d3eae65a04ccfd05 39952 math optional coq_8.14.1+dfsg-2.debian.tar.xz
    600cc0b2148f6faaba66b989c9857935 15549 math optional coq_8.14.1+dfsg-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlIPESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRo4QP/2BVe64e11RFGcmddU7VIr+UdMXHPR5z wiK31SMiLvX79mvUjCVIlXpg87W4PZBUk7UGscfKBN9XTDiNmbS63tTLab5yjs+b sfLzr9eWWBCdgcPdPlwY2Hnlpx2XGBYwpEopMkNeSDvHh0hrUjynVMXhxV0IZAHX rL3GuLvoBjt1zMExEMJ7RuwpoSgtLjKJHC+cOur9sOkLGMMbm0u82KqlB3L0SkV9 /hT/+iRL8BxYNL3i5G0AJFKBU1gHV2wf3x7OvgWfQbbHQ4xF8EEcdNrBCu27X+3J 57IftvjhlhKShXRbbArk/Ctt/NqLHWmD8Cm0qw9HYu4su9YucrOcN74cLWfw6okj w1qZRnspXsoSJ2JTxOgWxQjv3IqM+5KuC02Jxwj9CblZp/wzF+A097MD3IyeiVtU 41rx3upcG0G01kyFAubLWFCqxlu56UZXFXfV3lrbyrYjb5Og5HktuFUHVo26BLfQ Eu3kmAVIcatxRw3sAgZrcL4EKYtuFtdhBa0PBe5waGkanyIqseq3Y47WLMqTKohX 0BL/GjmJ38ZqgAb5bmv6cN+N9+PH+qSQJyXGqLN54mMus0enYC6Ackh6F33sBbHO 2I+Pn5ovgfi7EJelYxufkqnKznfu82HYRyufIXDXcjR+EY39dia4stlOO00sMIls
    QA7p1IyNiRTX
    =RSUT
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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