• coq-record-update_0.3.4-3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Aug 3 18:10:02 2024
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Sat, 03 Aug 2024 17:34:17 +0200
    Source: coq-record-update
    Architecture: source
    Version: 0.3.4-3
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org>
    Changes:
    coq-record-update (0.3.4-3) unstable; urgency=medium
    .
    * Team upload
    * Do not hardcode /usr/lib/ocaml
    Checksums-Sha1:
    2920edac06213f5c1ad1666917b0ddff47e3ce32 1925 coq-record-update_0.3.4-3.dsc
    df2448a69f02fc60f5eefe6a17d518c40f86b822 2132 coq-record-update_0.3.4-3.debian.tar.xz
    Checksums-Sha256:
    41122f2cfd3ca49b2aca467e10873ddcbf7d04dd8ffcf36b1bdbd0ef1c615214 1925 coq-record-update_0.3.4-3.dsc
    2a1be0daaa5dbe7c9409e1b5e7ead96e6dfbb063730dc7e7cb828f2fbca2806e 2132 coq-record-update_0.3.4-3.debian.tar.xz
    Files:
    98c1100ef4d61892cfd3fb42c86beb1b 1925 ocaml optional coq-record-update_0.3.4-3.dsc
    8d4b6726362e804001170222d8e145fc 2132 ocaml optional coq-record-update_0.3.4-3.debian.tar.xz

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

    iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTjYSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBJFMH/0fVUf+Azoovs/AbJl/TkIwPvjEq7oDs HKNExzprr3cAopD1NaYdUF3Lje/toTfJ8dllYGlEISEszsTayjdL6aIuYPwy1FnP gfjm9pYxfR+iLn0X+DrvCpVfDo1CElNZ/T/9sYWMmcp3XAZP5l748UcRVJ3ocMDF ygiax3IvlicTNxgJg8vCSqjqeCAWwsnCrR7zGRzypreLVuvrTClrkiBSZ8XezIPN zOX1hFr3bOEx4lv9QSkbbRyUTHJWBtZ1UnRB0Wc6kMtHE+e+A7UzleXSGBDLjI3T qAMrueZ4KiTr6nmTZzMZE3tkcps2FWnx/GmGVOTEKgIhLzUh36HyQdE=
    =fwfz
    -----END PGP SIGNATURE-----


    --==============‰40629554550862604=Content-Type: application/pgp-signature

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq5U9AAKCRCb9qggYcy5 IfmUAP9YsvpNs6DHxuq9m5SL5fJHxqNEvHNTv+gZwsahJLkF2QEA0/VYVDU0v8e4 3/eeyPVbYfgu1+fVuW4YtD3QUpRSggw5Ip
    -----END PGP SIGNATURE-----

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