• coq-libhyps_2.0.8-4_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Aug 3 18:00: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:32:53 +0200
    Source: coq-libhyps
    Architecture: source
    Version: 2.0.8-4
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org>
    Changes:
    coq-libhyps (2.0.8-4) unstable; urgency=medium
    .
    * Team upload
    * Do not hardcode /usr/lib/ocaml
    Checksums-Sha1:
    dd555e1cee2ed2340cb09b4d05dd6d6e9420c48e 1843 coq-libhyps_2.0.8-4.dsc
    15376e8c2d5ed98b43d6e4340a4fa4e8cb00b6d0 2216 coq-libhyps_2.0.8-4.debian.tar.xz
    Checksums-Sha256:
    5df2948755289081835c057478011f6b144cdfbb706d781e434323bd3d1e2e8a 1843 coq-libhyps_2.0.8-4.dsc
    337ed33419b697484c371e2ea75df9acc22694530d4389f85820623505389ee9 2216 coq-libhyps_2.0.8-4.debian.tar.xz
    Files:
    c9a4e447ef8913f181f75a6e5a13ef21 1843 ocaml optional coq-libhyps_2.0.8-4.dsc
    c7a738f91e5a62f37f4065607c3d6dd8 2216 ocaml optional coq-libhyps_2.0.8-4.debian.tar.xz

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

    iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauTekSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB2QYIAJMhueTkX7hNMOjmCUWicHPypFsUNN1o p/6mGnP2naYM0yu4J3HZponMRyrzHqdsInm3jJKKNbUzou0GT4y7vlcgW1r5gMcp TwmPljokfR4h6PX3w2Fv48Y9uTqtEsByCoq/P9vtUQq0D/yOmCEGxJB7jDpL3sQK GuytDQ0Y5gsT/nqd4d8hXUthUqO6l99cfnT2PGKd11Ln8RuOm4dCoRnIXtquhzjH 0Um98vmMUUCJEyhjU3TWnR4lkrCZ3Hl1iZdTDHzkUWrcwBxK0XpttnzDfl/ZnF/E DJ5b4HskPS9b8bJn89sJ6I757R1tS1aQsNGWACc6oKig4feOXiolTPM=
    =wwrz
    -----END PGP SIGNATURE-----


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

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq5RrQAKCRCb9qggYcy5 If6NAQCjsjCM8kbjs98X7KxEq1+I2KGYA+4YWKz0KjrQP2syPAD9GlRXUtEfSQxQ wmKm6wOYtYyQZGlKlNafSn/nNZR/vAA=KYNo
    -----END PGP SIGNATURE-----

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