<<< ECU-BUG-ebuild_unused_eclasses >>> 6|sci-mathematics/twelf|twelf-1.7.1-r1.ebuild|eutils|gienah@gentoo.org <<< SRT-BUG-ebuild_src_uri_check >>> 6|sci-mathematics/twelf|twelf-1.7.1-r1|http://twelf.plparty.org/releases/twelf-src-1.7.1.tar.gz|gienah@gentoo.org|728028 <<< WWT-IMP-ebuild_homepage_301_redirections >>> 6|200|sci-mathematics/twelf|twelf-1.7.1-r1.ebuild|http://twelf.org/|http://twelf.org/wiki/Main_Page|gienah@gentoo.org <<< open bugs >>> https://bugs.gentoo.org/728028 sci-mathematics/twelf_calls_commands_that_do_not_exist