Package: ftp.debian.org Severity: minor Hiya, A couple of Haskell packages are of optional priority, when they should be extra due to the don't-depend-on-packages-of-a-lower-priority rule. They are: - agda-bin - haskell-monadcatchio-mtl Please update them if you agree with me. Regards, Iain