7|sci-mathematics/otter|otter-3.3-r4.ebuild|toolchain-funcs:flag-o-matic|sci@gentoo.org