-----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-----