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