Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

sci-mathematics/
otter

An Automated Deduction System

http://www.cs.unm.edu/~mccune/otter/

Version 3.3f is available upstream. Please consider updating!
It seems that version 3.3f is available upstream, while the latest version in the Gentoo tree is 3.3-r4.
You think this warning is false? Read more about it here.

Available Versions

Versionamd64x86alphaarmarm64hppaia64ppcppc64riscvsparc
3.3-r4  : 0 EAPI 7 amd64 ~x86?alpha?arm?arm64?hppa?ia64 ~ppc?ppc64?riscv?sparc

Package Metadata