• ott_0.33+ds-3_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Apr 27 18:30:01 2024
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Mon, 22 Apr 2024 18:06:42 +0200
    Source: ott
    Architecture: source
    Version: 0.33+ds-3
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    ott (0.33+ds-3) unstable; urgency=medium
    .
    * Add patch for Coq 8.19 support.
    * Bump standards-version to 4.7.0.
    Checksums-Sha1:
    41bb7631584c914913bc872696118730853a6e55 2109 ott_0.33+ds-3.dsc
    7a6c0c1026b0b599e79bcc8baac1b5469ac3ca31 8084 ott_0.33+ds-3.debian.tar.xz
    b79121fc29662dfeab4b1bd9f236328d2cf57ae9 11809 ott_0.33+ds-3_source.buildinfo Checksums-Sha256:
    80f7c5432132208e221b5ca01def58a108983ce0617754725099650305a82d00 2109 ott_0.33+ds-3.dsc
    710bd6d8c3c2a1c40f35964d65f4fcb923473d8aa116aaaee9ce61377f4c9160 8084 ott_0.33+ds-3.debian.tar.xz
    34e58deade7e0bd42905fda761c8635fb11ccaa023cb9a66908d86afed9a414e 11809 ott_0.33+ds-3_source.buildinfo
    Files:
    a5bdbad024d8a565355dd9f32d785070 2109 ocaml optional ott_0.33+ds-3.dsc
    4df164b3c23cbe96a977c280a7e2aaa5 8084 ocaml optional ott_0.33+ds-3.debian.tar.xz
    ae36bbbf4b933ac6d73d8938f61c0496 11809 ocaml optional ott_0.33+ds-3_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYmi1kSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRWmAQAKfbyPT+cJ2SiUF6s57hCPIWLMpC37fA 00HB+QQxt6+tvFgqJkskztHwuR2Mg62kBk53ygjZ8Y/bPLj4cNBC+UJVGlhgYMZs JZjXfCg1piNIlO3XWPVqQlQoZWh2K3frmWAKuWEZzDJI4rfAehwsf4A5vphm5EWO ucBgk5CoUruripfnheXuDp7X3vVCboo8Vx17cfYeVHfiIwi02pWlxIexSNChoFeW U+ocMPhEs/0VmpVTRtEqA+Zi0zIFpBOr/EdKhIPGvErxAxUt32xSggPhmDQaJC3G 7tupDvRiCT9ACoTTTrQQNglERfEpnxI8G8ZF8460c+Arc9VYmbifpTmUoK47oF1z MbddqWPx7qItOKRdINke4f3F944oGc/9sksWObYCC9sSWCria0RlrNjctg2iU8zU DleVxu7yZ3rcxkgKxck1d36ylvV2/UZaSJ+MX+4KYZJ4IhbinxGkYEqUaG+3eE76 W208pHUCH342Sq6TZSprzlnJY23tLPzmg4c4QGmUl1meAbJwuDS7IwtWbvDS8am0 ndbmMzPN5uAvClRgILIAD2nHtj/O2idBoEfr0HNzxWYV+wYv65JJmzMK47YNDVkb xBe7h6edKPbFPIE9OcOgIZceSl+AMz3fc31sbMKPmPJLof0pZ69LjPc7PbRgXKdH
    yJpttzWSOxUf
    =c1uo
    -----END PGP SIGNATURE-----


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

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi0lxgAKCRCb9qggYcy5 IaqRAQDgHl7PZT45n6apgnoKjxZFb1/6n5sUgiyv7f/EURXxRAD/eoDXC7xlXwQS PJJbxyIldNoGg+OaPxuITUt+Py++uQ4=tGcv
    -----END PGP SIGNATURE-----

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