7|2023-07-04|sci-mathematics/otter|otter-3.3-r4.ebuild|http://www.cs.unm.edu/~mccune/otter/otter-3.3.tar.gz|sci@gentoo.org