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