ladr_0.0.200911a-2.1_amd64.changes uploaded successfully to localhost along with the files: ladr_0.0.200911a-2.1.dsc ladr_0.0.200911a-2.1.debian.tar.xz libladr-dev_0.0.200911a-2.1_amd64.deb libladr4_0.0.200911a-2.1_amd64.deb prover9_0.0.200911a-2.1_amd64.deb ladr4-apps_0.0.200911a-2.1_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org)