-----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-----
