Accepted coq-elpi 1.13.0-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.13.0-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 11 Apr 2022 07:33:55 +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=tPV7n1kxsvpIbqDNXY+jr9z+H7vXo8jZd6+3felSKmM=; b=ou5bq2CsXSR0vSvflBDSJoztZ2 nsQU0RJWT7ulE+lAMc5tzzypteY6KqrkpqGxWmT3Fry4BsoHhRkowaAuh/mUkzm1syK2vo3mPguWI wI9qePn9QmA8winkskeAaZtaSibGPjgWHeg/fwafJCZRyk5RZgQKjJjQxBpa2YkfhKq1M9gMKlCog FWzFehWbTZod8BENRaNQjwLn8U5pyb7MC7WwEqYdOS1YllEtbbAMLANVcg29VAYnxD41W1E7wyxaA 90bf6Ec5Pc0KWDtJU3JXe0AHicJwszjkcvgquTDnstgC4yOLsV51HSI9JvHrGkEf2nsbcj1IfOnAy BkRo6PwA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1ndoYd-000414-Q3@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 11 Apr 2022 09:12:49 +0200
Source: coq-elpi
Architecture: source
Version: 1.13.0-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-elpi (1.13.0-4) unstable; urgency=medium
.
* Re-upload source-only for testing migration.
Checksums-Sha1:
ebeaba04b36ca0dd8286914c857239ef4bc5e7f7 2146 coq-elpi_1.13.0-4.dsc
72148ea543013ca2feee76237d29d0cb9c821aa1 2948 coq-elpi_1.13.0-4.debian.tar.xz
8aa6c38f1070630c5dbc6c029e236b1a6a0e4e6d 7159 coq-elpi_1.13.0-4_source.buildinfo
Checksums-Sha256:
9a90deb64bc0a6504c5aad13b84fbf8a13c3a44c4441808a17bc4389b0c52aa7 2146 coq-elpi_1.13.0-4.dsc
c34c50f4efb39dcc971b89190b4794400fc4aec6bb8060b57fdd71836cb4ba26 2948 coq-elpi_1.13.0-4.debian.tar.xz
3d12e71b5fc1782b80d20ab0f726027a6c13f301757a51bc4f99e7ee590dec46 7159 coq-elpi_1.13.0-4_source.buildinfo
Files:
dfcf2dc28defc1f5de70f801a6bcae3c 2146 ocaml optional coq-elpi_1.13.0-4.dsc
229f0b0598d45421e9a96c5a7ab52d00 2948 ocaml optional coq-elpi_1.13.0-4.debian.tar.xz
6d0771ee7263075746231513e4ee8f89 7159 ocaml optional coq-elpi_1.13.0-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJT1RwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRwHcP/A8sQwYuKTMJedBFyQpx8TKuehTrQL6h
d+NGOHNcNyVMHGLI/g0SErqjx2+ZXye/YJwRR3Skmpi6E82X0a2ny7tt/UaZ+jQh
dF40rbYXAeKg0OrnXRk1h4VZbQmRSoixhn6dFXozAT9GuM+ptyyYRtBfIi7xV52f
M/iCaI7vxDDXhuIzcjuLZyfjcaTo7oDPVtOYy85X2SBwaROHYPRXniHpagsxgwph
8u4G2KCpUbIfJm1ToN3O/wVfCZC1FJWpmIeadvhA6gDRcLq5TgvAMoftkDmp/QiB
4VHAfLL+09HW1QAwTm/0l5IVNXOyL/JTHdyO9t/R6y68zEIjfjTRYuK2HR9lhk4F
T6fAQkkVWazXRiGiUDYfQlcC4y8f6VbTs53v3cUQE4Gr37hRFdSOGNDU42QKo+67
C21rMksbseOvKk1YiACfIdui8KIoTVKZmy7nUAgXr5jD1Iq9qg14okZYzITdze0A
DuS/8ka2/BjbQ2nKe9nAo4AK63ICZRJSWFAydObgtt+Ad/CqAGGvQHdHrGJd6MhA
b/WWwgQhIhrzE/16MiHHyFMsIeXRyagMmI+KZOHPJ5ETV9/oO5zF2A/TUeTSQAWs
IKh2CnSh06JYwlio/7uoxvzkg6s/vkV+XYaMIcHddjXkDJGRRTi8/hd0Z827U2M7
2GAB1AGyhObR
=aJX6
-----END PGP SIGNATURE-----