| DEFINED_PHASES=compile install | |
| DEPEND=virtual/libc | |
| DESCRIPTION=An Automated Deduction System. | |
| HOMEPAGE=http://www-unix.mcs.anl.gov/AR/otter/ | |
| KEYWORDS=~amd64 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos | |
| LICENSE=otter | |
| RDEPEND=virtual/libc | |
| SLOT=0 | |
| SRC_URI=http://www-unix.mcs.anl.gov/AR/otter/otter-3.3.tar.gz | |
| _md5_=ffa9db6a0afebd38f69c953dd96f8de3 |