Accepted coq-extructures 0.3.1-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-extructures 0.3.1-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 31 Jul 2022 11:34:38 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=Uedg1b1LUXTZoEbooTAUhAIAyxvz05iif9I11b9X49Q=; b=q+oOMourWC76QP4hdLvRrKB9H1 YEv9qI/hiXQMP+E2YrbYgUJDGxUBodMAcNNJTDJVF1WWe8dAqLOI/h8YZnfS3tX/VfYjf1+m+9LlT sKQFKo4XmtgKPmIXZLZrTU4VxCPLzN7k29x4UVY4wlWknbcG1lcbuiJW0LIyPaveoGsCtK19wufA+ B6WGSVRYhAdBeXZlMFrL/0do7ZPqI6zUtDjzoUhzi0FoJPe7yF4CD+NVWcT40/j7iL4v3TP30faIu CZQo19ESU5/copEY8yjPr12HG7opSQQ7/tj7uBKf2OuHB5J6+xwQg28TorrfWTOi/BDMvEIrZBc6I boSfQBAg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oI7DS-000tR0-Ck@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 31 Jul 2022 12:35:53 +0200
Source: coq-extructures
Architecture: source
Version: 0.3.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-extructures (0.3.1-2) unstable; urgency=medium
.
* Source-only upload for testing transition.
Checksums-Sha1:
cff5cbfb49f78cf182f09da444c24ffa5c54053d 2161 coq-extructures_0.3.1-2.dsc
9f2e53d4b1527d3a9f3ce3a33c20251ba091dce2 1964 coq-extructures_0.3.1-2.debian.tar.xz
35636daa3848f76d3297d50c061716eb200424b6 7015 coq-extructures_0.3.1-2_source.buildinfo
Checksums-Sha256:
4817d74891c0af5ec72677b2d6b86202e2606035e3e6f80c78c297c7b32e8594 2161 coq-extructures_0.3.1-2.dsc
2e196070a5e0390ef4055189b309a83a4b135a5919e646939de0e1af3faaac32 1964 coq-extructures_0.3.1-2.debian.tar.xz
4fe46fd125bdc5eba68b3d95868004bec6787ec93b966a4b0280e935c8a674bf 7015 coq-extructures_0.3.1-2_source.buildinfo
Files:
0b1d0d8092f6d2a7d518697947dce571 2161 ocaml optional coq-extructures_0.3.1-2.dsc
8e5dbe0f1a6ce359515c7d8a5a54d85a 1964 ocaml optional coq-extructures_0.3.1-2.debian.tar.xz
a2b8cd16f1e48c715c92d19d54814531 7015 ocaml optional coq-extructures_0.3.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLmW0gSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRKAYQAJe6F0r3vwYMSdM9i65ijUIt4iflBcts
eF247qTGZtTdROX8/+W7X2tNShUMOfqnDLrwiTmjZ1PaCCaB2GozSetXkuvP+cJN
qrtgEmLB7RFx9ygzCon1NvB8G2wDs1l1Y5+J2e03y4D6LEaGcO//oxnzY/7YFV4g
SbSUtR5cKOgY923joIslNHEpxP5mnrGujcdrpEQgbaCPVfN0I/c8tfx7UNTiDt/j
epRfYpuvc/6+IGeSsvF4w3wjVcMEKSi6mv+IPtmrYWx9RhaOgWOES9SFPiD9ji6D
5HbINh4TkoyDdXXYS9UqbLGS/rGkPe3Ez2dhRhjjv+DAneynhYxERLFHMe7C2HuR
ZqgB47rEOH/naI+43Qj0A7f/VYTRsCxhegBi0zfpXMkrSA7ec/VlzJag/mScwxQc
VPI50n3hdzYN8/tpQYY7EPaMWFuXdWUVXPWzoQz//rmmKbEKR35Lg1EBpd8v+x/w
rIVbOuNVh83dlKRiP5g7yVas7YKBFv9oErpGi7/13dc+DKnHvkmGXG5ie6a7BK38
ClFlpL3Ar3SNprlOtv1I4wrY6QF2kbE+KmfOj6b1PXQj3/wlgTSo1PPrBIZhsQ23
1uJDXW6Zc3z1efYjRfu/N6Vc71v5LIa3sVBLWzLiq9enejvZRdKbzcsFXyjz5XVf
KnmLzUv3qPUh
=/oa2
-----END PGP SIGNATURE-----