[Pkg-haskell-maintainers] Processing of agda_2.3.0.1-2_amd64.changes

[Debian FTP Masters]

agda_2.3.0.1-2.debian.tar.gz has incorrect size; deleting it
libghc-agda-doc_2.3.0.1-2_all.deb doesn't exist
agda-mode_2.3.0.1-2_all.deb doesn't exist
agda_2.3.0.1-2_all.deb doesn't exist
libghc-agda-dev_2.3.0.1-2_amd64.deb doesn't exist
Due to the errors above, the .changes file couldn't be processed.
Please fix the problems for the upload to happen.

Greetings,

	Your Debian queue daemon (running on host franck.debian.org)