<<< packages_pkgcheck_scan >>> ExcessiveLineLength: version 4.11.0: excessive line length (over 120 characters) on line: 12 <<< 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