Accepted coq-simple-io 1.8.0-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-simple-io 1.8.0-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 23 Dec 2023 11:20:06 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-simple-io_1.8.0-4_source.changes
- Debian-source: coq-simple-io
- Debian-suite: unstable
- Debian-version: 1.8.0-4
- 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=H0G4bL0fi4jTlrESBKYMPAKOmy8zZ/v3+4Chei1lQKE=; b=rKzpPrBYmJGc0Pha4F1Z/1coRC L//kc/2jVSJByqd0BXcIArWtm7/Kla65W9+3p8OEYDcWNVaNUYcGRiP9KgREiFuvpvFc1BGNKbj// Az4w8iPEk4CxnrBt8D/CLwc09qCgUqqCNtgJNj8OEvo9lgMJHKM6thkyQGH+5tNcNJMcqW8H90n6Z WvcTntEnFO2KCq3ihno3ONrFV2Y+03ME+RMiBhdAIhYi42/HD3QeX0ccfWR9Og/cCGe3/RXkCQmLX pFKFvLD17rLtzVkFteKtst96l4HXys9S88ldRhV9+IK9GWwVqtbGt+gYOU2spWmZfjduF4JBg6bYm gcWif9Eg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rH034-002QE2-11@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 17:11:59 +0100
Source: coq-simple-io
Architecture: source
Version: 1.8.0-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044397
Changes:
coq-simple-io (1.8.0-4) unstable; urgency=medium
.
[ Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1044397).
Checksums-Sha1:
9aa32a60ac67dc977412ce0d23698fb77e678e28 2151 coq-simple-io_1.8.0-4.dsc
ea398ce27fd2a39c0ff3f53e6c9fd303af1101e0 2380 coq-simple-io_1.8.0-4.debian.tar.xz
e0f09cf2474817851b2b7f7a87a2791f51a6fc99 7929 coq-simple-io_1.8.0-4_source.buildinfo
Checksums-Sha256:
fce61d33599c9ca010504e33850dbe594ef78adfa8374880b9979f380eed6a05 2151 coq-simple-io_1.8.0-4.dsc
b43c84212c1841487d8f14a1bc90a01765eb0454bc6683fd157b3200ccaad1ff 2380 coq-simple-io_1.8.0-4.debian.tar.xz
688f20fa33143ed9b712c8671fed94d4c843b9e4020cc5226e8e1d8f5d09f234 7929 coq-simple-io_1.8.0-4_source.buildinfo
Files:
7054ec819b358f0b31cea33e9e14890d 2151 ocaml optional coq-simple-io_1.8.0-4.dsc
2372f49f45c0cdbda2fcb4f9697861d0 2380 ocaml optional coq-simple-io_1.8.0-4.debian.tar.xz
29a92a40b8e6c0e9a86a84ac981eeb0e 7929 ocaml optional coq-simple-io_1.8.0-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEZB0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqmAQAIRaiiWTkCiKu5hcdQhqFv8UgPEcqKNg
8fm9oT6hBWyXCR4nptIpEvV+0szR5NVGkixCxzNwklJ5wgPm5+mI2a9QcwBhDVL1
lj9NaaZZyYfZ3PF/9m0Q1dtZP4kX5o3wf1U9ZC5oujzUO5+7r3C7L85Md6eA+u8A
hIeWr/7C88DYiSOqBW/k2INIagUDX19xfutMP4Hm5Y1eGiBvk4XyqQQ1zAdcxNeJ
yilVkZz0YIIWjyNCjLWGtYgOz/nRt7d5Q1zmbyhpPIBf7bqdpmnBQP9uOZ3v8vha
0lwhAV0dt2zFEsNQoFGDnTrOmToE+Qm2sqho0gHu9SIF4jQLNGfraAiJsqx43LeF
rtDeZ33hQc8qRdBiHCcDiYOEk1f3KQ/uVWtw3dRvMAD5C03jMMCkLn5QOUYZ5XpW
u23Q6Ss79jF1lr4YOI5VSCWrbAvs1ZUhiJ0DHNPg9zrb2YuCSdcF1/8Wq0fK9ZUC
+b8BXu8T86xrOAuKzKwvH/miNdktNLjwVdIqs2sMUR99SoPeE6viMuwK8MJGZ8Cp
MwVAEYXD2lcdyWC9F/3aacjzxgX3j5+oac3fSPvUcAC8zkd+9IzeEPMAzMcgFYlZ
TMVCUI9ES/K338BMwYJsoCnb/egMJBeyYuSGdVxM3zPN+LPJkS6uTyXtkWHP3bxW
wSKCLYF7a+kM
=kpWZ
-----END PGP SIGNATURE-----