• coq-unicoq_1.6-8.19-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Aug 4 06:10:02 2024
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Sun, 04 Aug 2024 05:38:03 +0200
    Source: coq-unicoq
    Architecture: source
    Version: 1.6-8.19-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org>
    Changes:
    coq-unicoq (1.6-8.19-2) unstable; urgency=medium
    .
    * Team upload
    * Do not hardcode /usr/lib/ocaml
    Checksums-Sha1:
    6d3dbff419698fe8f471d799067f407d8ac2ce9e 1867 coq-unicoq_1.6-8.19-2.dsc
    4eb139414ef5f8441b1696a087ff264fb2e7cc4f 2676 coq-unicoq_1.6-8.19-2.debian.tar.xz
    Checksums-Sha256:
    e8bf4ebff593f8fcb1bb23e5914105585e10fb569ae50f01b91f9140cee7dade 1867 coq-unicoq_1.6-8.19-2.dsc
    20d1f0ef7be12775e6a60d1dae317a3bcbc114fa0318ada97b4e3c1c481503e3 2676 coq-unicoq_1.6-8.19-2.debian.tar.xz
    Files:
    3f1cd91e80c67aaba947311ace7c41d6 1867 ocaml optional coq-unicoq_1.6-8.19-2.dsc
    8110f1bb69fe0ab9ff53408edffaec12 2676 ocaml optional coq-unicoq_1.6-8.19-2.debian.tar.xz

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

    iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmau+PESHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB81IH/jYBWJ/4I+Ddgi54yPHzlO4Mf+B1VOWF 9zVGjQj0zyVVfZHq2xbEWMEhOs9IS8QZ7yJu8RafI10ekHFDBmq2ZS/Y1Yh7NMfY UABsjEAuCimSaBfdVtzQ4m/mBfzmDE07uDSciJJ6plI0lbep8Q2r0DR1IICIBY+1 Bni2G63UQAVm6LGKjbXuAm5yX1SyxlJ59VstX6Gk8+pxI+tB69mxP5ekHjzhj5n9 Mqycloe+Wnroj0w93Jw976zdml7qV1+CTM1Gz1MLhb9SIWjrVjUriSwvh3cDQiIp m7hjB+s1S4b8shDeLQ07YnSSll2PMWwR8omWGFA6+23xV4eOzbN9WXU=
    =UIsu
    -----END PGP SIGNATURE-----


    --==============y82970521735348674=Content-Type: application/pgp-signature

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq792wAKCRCb9qggYcy5 IQp5AP9VgWRKb3TaiwjKGS5mcHKbMKT+V0EGjwm2ZeW+9y25AgD+MTy/Ch/Gyzmh 7CRVaQnhzYe7WREW3tP39m5+geDk+QE=uZxF
    -----END PGP SIGNATURE-----

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