Bug#982104: RM: agda [mips64el mipsel] -- RoQA; package no longer builds on mips*

[Adrian Bunk]

Package: ftp.debian.org
Severity: normal

agda no longer builds on mips*