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
Latest Commits
Atom feed
Commits on 2023-06-09
sci-mathematics/otter: destabilize for ~x86
06c9e61
Arthur Zamarin
committed on 2023-06-09 14:46:25 UTC
sci-mathematics/otter/otter-3.3-r4.ebuild
Commits on 2022-10-11
sci-mathematics/otter: fix lto mismatch + build w/ upcoming clang16
d540cd1
Ionen Wolkens
committed on 2022-10-11 11:42:32 UTC
sci-mathematics/otter/files/otter-3.3-clang16.patch
sci-mathematics/otter/otter-3.3-r4.ebuild
sci-mathematics/otter/otter-3.3-r3.ebuild
Commits on 2021-09-11
**/metadata.xml: Replace http by https in DOCTYPE element
38b155f
Ulrich Müller
committed on 2021-09-11 13:22:48 UTC
sci-mathematics/otter/metadata.xml
Commits on 2020-11-01
sci-mathematics/otter: fix build with -fno-common
8298742
Sam James
committed on 2020-11-01 00:25:55 UTC
sci-mathematics/otter/otter-3.3-r3.ebuild
Commits on 2017-12-10
sci-mathematics: Update Manifest hashes.
19b7ec1
Ulrich Müller
committed on 2017-12-10 11:03:50 UTC
sci-mathematics/otter/Manifest
Commits on 2017-03-11
sci-mathematics/otter: Remove old
91b7265
David Seifert
committed on 2017-03-11 10:48:21 UTC
sci-mathematics/otter/otter-3.3-r1.ebuild
sci-mathematics/otter/otter-3.3-r2.ebuild
sci-mathematics/otter: Mark amd64 and x86 stable
dacb97d
David Seifert
committed on 2017-03-11 10:48:16 UTC
sci-mathematics/otter/otter-3.3-r3.ebuild
sci-mathematics/otter: Port to EAPI 6
1a9e29c
David Seifert
committed on 2017-03-11 10:48:10 UTC
sci-mathematics/otter/otter-3.3-r3.ebuild
Commits on 2017-02-28
Drop $Id$ per council decision in bug #611234.
61b861a
Robin H. Johnson
committed on 2017-02-28 19:50:50 UTC
sci-mathematics/otter/otter-3.3-r1.ebuild
sci-mathematics/otter/otter-3.3-r2.ebuild
Commits on 2016-01-24
Set appropriate maintainer types in metadata.xml (GLEP 67)
8849b09
Michał Górny
committed on 2016-01-24 22:58:38 UTC
sci-mathematics/otter/metadata.xml
Replace all herds with appropriate projects (GLEP 67)
cfd93d7
Michał Górny
committed on 2016-01-24 22:58:38 UTC
sci-mathematics/otter/metadata.xml
Commits on 2015-09-23
Update hashes in Manifest
676783e
Justin Lecher
committed on 2015-09-23 15:27:33 UTC
sci-mathematics/otter/Manifest
Commits on 2015-08-24
Revert DOCTYPE SYSTEM https changes in metadata.xml
1bfb585
Mike Gilbert
committed on 2015-08-24 20:30:34 UTC
sci-mathematics/otter/metadata.xml
Use https by default
eaaface
Justin Lecher
committed on 2015-08-24 10:49:19 UTC
sci-mathematics/otter/metadata.xml
Commits on 2015-08-09
proj/gentoo: Initial commit
56bd759
Robin H. Johnson
committed on 2015-08-09 00:38:18 UTC
sci-mathematics/otter/Manifest
sci-mathematics/otter/files/otter-3.3-build.patch
sci-mathematics/otter/files/otter-3.3-gold.patch
sci-mathematics/otter/metadata.xml
sci-mathematics/otter/otter-3.3-r1.ebuild
sci-mathematics/otter/otter-3.3-r2.ebuild