<<< RMC-IMP-packages_full_repoman >>> repo.eapi-deprecated 2 sci-mathematics/z3/z3-4.3.1.ebuild: 5 sci-mathematics/z3/z3-9999.ebuild: 5 uri.https 1 sci-mathematics/z3/z3-4.3.1.ebuild: Ebuild uses http:// but should use https:// on line: 12 <<< WWT-IMP-ebuild_homepage_301_redirections >>> 200|sci-mathematics/z3|http://z3.codeplex.com/|https://archive.codeplex.com/?p=z3|sci@gentoo.org <<< open bugs >>> https://bugs.gentoo.org/673126 sci-mathematics/z3-4.8.3_-_CMake_Error_at_/usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:137_(message):___Could_NOT_find_JNI_(missing:_JAVA_AWT_LIBRARY_JAVA_JVM_LIBRARY___JAVA_INCLUDE_PATH_JAVA_INCLUDE_PATH2_JAVA_AWT_INCLUDE_PATH) https://bugs.gentoo.org/677862 sci-mathematics/z3-4.8.4:_keywordreq