Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
otter
An Automated Deduction System
http://www.cs.unm.edu/~mccune/otter/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
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
Version
amd64
x86
alpha
arm
arm64
hppa
mips
ppc
ppc64
riscv
sparc
3.3-r4
: 0
EAPI 7
amd64
~x86
?alpha
?arm
?arm64
?hppa
?mips
~ppc
?ppc64
?riscv
?sparc
Package Metadata
License
otter
Maintainer(s)
Gentoo Science Project
External Resources
Related bugs
CI Report
(
verbose
)
Repology
Open Pull Requests
Documentation
Forums posts
Git repository browser
Git log
(
short
)
Changes Feed