sci-mathematics/otter|http://www.cs.unm.edu/~mccune/otter/otter-3.3.tar.gz|sci@gentoo.org