<<< metadata_duplicate_useflag_description >>> sci-mathematics/gap|minimal|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org <<< open bugs >>> https://bugs.gentoo.org/259476 [science_overlay]_sci-mathematics/gappa_(New_package) https://bugs.gentoo.org/259477 [science_overlay]_sci-mathematics/gappalib-coq