agda_2.2.6-4_amd64.changes uploaded successfully to localhost along with the files: agda_2.2.6-4.dsc agda_2.2.6-4.diff.gz haskell-agda-doc_2.2.6-4_all.deb agda-mode_2.2.6-4_all.deb libghc6-agda-dev_2.2.6-4_amd64.deb Greetings, Your Debian queue daemon (running on host ries.debian.org)