sci-mathematics/agda: fix QC dep