coquelicot_3.2.0-1_amd64.changes uploaded successfully to localhost along with the files: coquelicot_3.2.0-1.dsc coquelicot_3.2.0.orig.tar.gz coquelicot_3.2.0-1.debian.tar.xz coquelicot_3.2.0-1_amd64.buildinfo libcoq-coquelicot_3.2.0-1_amd64.deb
Greetings,
Your Debian queue daemon (running on host usper.debian.org)
