[Bug 991929] New: Agda: FTBFS in rawhide