sci-mathematics / otter otter An Automated Deduction System homepage ↗ Available in OverlayNewestEbuildsLast activity gentoo gitweb ↗ 3.3-r4 1 13 h details › Versions & arches VersionOverlay amd64x86ppc Committed 3.3-r4 gentoo ●amd64 stable ◐x86 testing ◐ppc testing — view · download · history ↗ Runtime dependencies of 3.3-r4 show 3 lines x11-libs/libX11 x11-libs/libXaw x11-libs/libXt