Accepted psmt2-frontend 0.4.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted psmt2-frontend 0.4.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 16 Jul 2023 06:50:06 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: psmt2-frontend_0.4.0-2_source.changes
- Debian-source: psmt2-frontend
- Debian-suite: unstable
- Debian-version: 0.4.0-2
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=SE1YWeLVYW9n4/t951RMD8zu3QL8g8+r5HTFzsZzPJg=; b=NBovJ2XzZYgJvhH5K9IM0e4h/E oPQDfO+byxjXq2Iaka4n+natZatKsP3OgguoCLzHogMPBbsczoQXMJamR0U9xqbDs4Fpyu33d+cyL V9yYYCcC/slrP26i6rmm+CTsbLuyNyou0Smw+G1LJLsHlvovLkZgRTKtthBTnMZz8oeX4OYv3ElGY bbKFvnTMu5Uc4OzX47jTpHaXqUzVcvxjZf2FXBTGc7bwiwRPP386X2tWPxy2Mu+q5PUXs3oDBow50 jFL3YipmsDJax3z7LrkXQKGigi19aSFfFOF0h9yCqwwNnZ/LqRN02jEuHJLHkcCRwRJzcfPVy3AtF nZoaqi4w==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qKva2-009NS8-6L@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----