• coq-gappa_1.5.5-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Aug 4 07:40:01 2024
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Sun, 04 Aug 2024 07:04:14 +0200
    Source: coq-gappa
    Architecture: source
    Version: 1.5.5-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-gappa (1.5.5-2) unstable; urgency=medium
    .
    [ Stéphane Glondu ]
    * Team upload
    * Do not hardcode /usr/lib/ocaml
    .
    [ Julien Puydt ]
    * Fix d/watch.
    Checksums-Sha1:
    8425192c0e41de532aa59455cd3e51bb6199e14e 1852 coq-gappa_1.5.5-2.dsc
    94399007a0601e4b1bbf147628337c1949883339 2356 coq-gappa_1.5.5-2.debian.tar.xz Checksums-Sha256:
    7915fc7735bfbd8e8258b5e81e463b5ffd1b6f5fcf597aea2ec0f4e2bb3c2b3a 1852 coq-gappa_1.5.5-2.dsc
    66a1e584a1a94f108db1f6673c6b16dca27c69f4651fb9eda2a292ea7815b5e8 2356 coq-gappa_1.5.5-2.debian.tar.xz
    Files:
    c3886c09d8d6ba494c87a904cb260085 1852 math optional coq-gappa_1.5.5-2.dsc
    e7ce38c975ae3d0bfe73cc91225defe9 2356 math optional coq-gappa_1.5.5-2.debian.tar.xz

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

    iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavDKYSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBunwIAJKTZeIt8JtNicR9jH9aasWKNenqHiEp bepO4Dso6mZ7y1yLMxbqaBT8ecG+sj67XfXW7CjkGaVD4TpDSyh5FGEy2evWRIqQ 5SG0fMscohMWGZ++NafepSBZmL3ivtQd19pOdNWVc5YkNkMrq92jWraXe1AW2IVQ NtSSnOgNft2IKFee6KARy1NsdrSebM9ZmgR+pqgIq/AuPTQwkjkRDBeMAlV+nesu aEeiANaeX0j40wMM5cWz3eoUZ4238oDWAcQt5MdjAecURvqdYaiyCYzSaYv+fhT7 1FXcMhAeB4srZQX9q5jagS3Pm0CCHZPHSyedntiTXV23UFqYh2sjMUU=
    =Di7o
    -----END PGP SIGNATURE-----


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

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8S0gAKCRCb9qggYcy5 IWqqAQD0ODHSrHBsSC6+LpZkqSC/jrsSGHkmLWZJ3+NwcKaWEQD/bvO6cWyq5TwJ /god2BKFxfVjUf3eOzyrO8G7y7wlNQMUV
    -----END PGP SIGNATURE-----

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