Accepted coq-menhirlib 20220210+ds-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-menhirlib 20220210+ds-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 15 Jul 2022 19:18:56 +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=IBz1mtgIsVAeR6FlPDMVYc4qm0upacbXiLndCkdsa5Q=; b=I6WZxACSP2ZwzJlyU/qv+PF/uV OXISMB+29rixbDy+H3J9yxs5ufzczs7qcmF9JF1t/yvuuzD1l7XBmujMRB4aaXiuPuUGHhZAiuS3m YfGfzhI2ia1z/OxGUlU6m6CjL1OnJ3++GuY8LJlUOTie3pn5/m2R5V6bd1zzjWewxqq39Ocu4q2nN gfbwVQPKPvWauiqbgwcl7Jp5Ig9U7j0rIJ3MehWl7TLem7tKU69q8fkCxgbpBS1KEMVcmYGCmOW0E eOpRXThcYGjs+QjifQSK0BpFsOrnt4Gga/1MWVnIPd64StNqkBAEss5SVXWVviu6HIuzXTb3GSv1p VC6b95bg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oCQq0-0005IT-1d@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 15 Jul 2022 20:58:49 +0200
Source: coq-menhirlib
Architecture: source
Version: 20220210+ds-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-menhirlib (20220210+ds-2) unstable; urgency=medium
.
* Re-upload source-only for testing migration.
Checksums-Sha1:
2cbdad2e71dedf855d1e95b7d378e08a341b8e53 2125 coq-menhirlib_20220210+ds-2.dsc
e845bb6928923d5c50b0ed33e2d0a1ed57f87732 1660 coq-menhirlib_20220210+ds-2.debian.tar.xz
26a179147ea635f35777de19e47e2d0182ef9d47 6852 coq-menhirlib_20220210+ds-2_source.buildinfo
Checksums-Sha256:
19c8a9ba7580a5943272a75fc734186844e2ab79157e23d73f75138d7552c4a2 2125 coq-menhirlib_20220210+ds-2.dsc
06bb8d439d7f94e8ab2c88357801792b70cf49cad141cf76af1ad47dd0270f17 1660 coq-menhirlib_20220210+ds-2.debian.tar.xz
1c17189480ed562990b69359d5da072190f4026f01323509a9fb0c3ad4cd3f9f 6852 coq-menhirlib_20220210+ds-2_source.buildinfo
Files:
415f17cc4b3a1476ec9a8b32f4756dcc 2125 ocaml optional coq-menhirlib_20220210+ds-2.dsc
7a4ab4cc9b4facfcbc1ef94ba59a2bd2 1660 ocaml optional coq-menhirlib_20220210+ds-2.debian.tar.xz
2d98ca5fa55b4911596a39d5c5fe0544 6852 ocaml optional coq-menhirlib_20220210+ds-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRuRcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJ2oQAIxwZr0i+0md5dfWlDUFPXArZxK8qaQ+
G2ChXQO1KfdYDRCxLu/pGzePwLACZzwTuOgUyi8nra20ulrBAw6VSk1bmqZE9u9V
5cSt0+buRwW5LpOQFEN4r6UMVqvIj4eMZ6fV1O/5p5RMA3RExZcwagdETHEC4XMM
++DZJ74p8pZXa3QVWYsldVqaDH5D3vYY0+Z47HZSc22GXYAghSVXGnwkK3zm5NFf
UagFOJ3MQl23626ahCuoXZAXSLd2faIl5hTP7YjJNPH9zEqmJshkFe644lyNIQ2z
GJm+Scg42oGneLw/MZ1vvl0QMWd9GlBVNfLs/ucOJP1Cxb5Eki7SEKfQxJysfyeR
7fAomEIA3IUGgwCbSaGlmoRyE2OxqOMbWP1RtXGZcq3oivdLF8uIn3ktGRT+ejBL
fkZdAtjd8gJBTdU8nAPHeXT66tVFbQhqSWAS5ZXGtKxJ76XviRC4hvfTD1jNlCc6
pdzXKzcwEj3OxS/gKEwoX5JMC8ikbqikyYfSTTko5876u+Yf2Oem2Myroajbb9EV
FMMovXxHQl9fASjAU085Tnv9BHUxF+O9JqI1VXIDrxGBQT3nAFTsujbfLUrmXSHT
RrIHwEjlSPnrpQcXtCckC5GcKjKolmpimGtc2dxaATGPcL1dlGXSks8fbVObkJGj
vJz/HXMq+IyI
=Rvzb
-----END PGP SIGNATURE-----