• psmt2-frontend_0.4.0-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Jul 16 09:10:01 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Sun, 16 Jul 2023 08:22:10 +0200
    Source: psmt2-frontend
    Architecture: source
    Version: 0.4.0-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org>
    Changes:
    psmt2-frontend (0.4.0-2) unstable; urgency=medium
    .
    * Team upload
    * Fix build with recent dune
    Checksums-Sha1:
    94108ac8e5c3222d3d5c21e3a97f83c728cf8347 1990 psmt2-frontend_0.4.0-2.dsc
    a72d23295ca8fb962a763a6ba641ed827798b7e9 2260 psmt2-frontend_0.4.0-2.debian.tar.xz
    Checksums-Sha256:
    66499ec24ef8316f8e7d7028c955560ac53b6726d20eac99a5da018545a81e5f 1990 psmt2-frontend_0.4.0-2.dsc
    83d060095df2f4dd2c264e3ca120d6df77c54af05c4dfc044273a28c41a10405 2260 psmt2-frontend_0.4.0-2.debian.tar.xz
    Files:
    4ee6638e82a89222ba72c0952022f47b 1990 ocaml optional psmt2-frontend_0.4.0-2.dsc
    aabfa3a551b999fc0781a7043c5f67fb 2260 ocaml optional psmt2-frontend_0.4.0-2.debian.tar.xz

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

    iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmSzkF4SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBVSIH/0HVC0U5hebKII6QhG21Xwjcr+dslash fEIQxSh53EqYaMDKn9cvpK16Vn3Q9RCIB30Af+QlG5XNOHXZwk1BPQUDVj53xWws OzGlW+sYEwiYAHLIRjqgB/1av3FxCv1Gq1zQh0HB7ZIsNqAUiJyow9QXN0OpK1SY GJbVPE/LENnwIkULU/MF37k7REcs9U9Ns4JLtulmGYRmqi7akH+SUD1DHbHU+Ksw bqQYQEArymIp+8WO76uE2jvdG2NX9rRD2wAG37cbqxQniKljff+lWklN71Nj1WuQ kxb/kGMZCUXDxHiZTkV4fzAS5xTcoOpugTM3nF1mSORmlYxZnv1qbgM=
    =+4lc
    -----END PGP SIGNATURE-----

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