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