Debian FTP Masters Mon, 17 Oct 2022 22:18:14 -0700
dh-coq_0.5_source.changes uploaded successfully to localhost along with the files: dh-coq_0.5.dsc dh-coq_0.5.tar.xz dh-coq_0.5_source.buildinfo
Greetings, Your Debian queue daemon (running on host usper.debian.org)
