<<< ebuild_install_worthless_file_install >>> 8|sci-mathematics/gappa|gappa-1.4.1.ebuild|sci-mathematics@gentoo.org 8|sci-mathematics/gappa|gappa-1.4.2.ebuild|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