Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)