7|sci-mathematics/otter|otter-3.3-r4.ebuild|sci@gentoo.org