From Debian FTP Masters@21:1/5 to All on Tue Jun 17 09:20:01 2025
coq-elpi_2.5.0-1.1_source.changes uploaded successfully to localhost
along with the files:
coq-elpi_2.5.0-1.1.dsc
coq-elpi_2.5.0-1.1.debian.tar.xz
coq-elpi_2.5.0-1.1_source.buildinfo
Greetings,
Your Debian queue daemon (running on host usper.debian.org)