summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2020-11-01 00:35:22 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2020-11-01 00:35:22 +0000
commit363fea53eb645f65042c94b90b9c94d9cb96becc (patch)
tree5dd0da06f7389223f4b72e791d995899e0b1aa64 /metadata
parentMerge updates from master (diff)
downloadgentoo-363fea53eb645f65042c94b90b9c94d9cb96becc.tar.gz
gentoo-363fea53eb645f65042c94b90b9c94d9cb96becc.tar.bz2
gentoo-363fea53eb645f65042c94b90b9c94d9cb96becc.zip
2020-11-01 00:35:21 UTC
Diffstat (limited to 'metadata')
-rw-r--r--metadata/md5-cache/sci-mathematics/otter-3.3-r38
-rw-r--r--metadata/timestamp.chk2
2 files changed, 5 insertions, 5 deletions
diff --git a/metadata/md5-cache/sci-mathematics/otter-3.3-r3 b/metadata/md5-cache/sci-mathematics/otter-3.3-r3
index c0399c3836b5..8af502ea2277 100644
--- a/metadata/md5-cache/sci-mathematics/otter-3.3-r3
+++ b/metadata/md5-cache/sci-mathematics/otter-3.3-r3
@@ -1,12 +1,12 @@
-DEFINED_PHASES=compile install
+DEFINED_PHASES=compile configure install
DEPEND=x11-libs/libX11 x11-libs/libXaw x11-libs/libXt
DESCRIPTION=An Automated Deduction System
-EAPI=6
+EAPI=7
HOMEPAGE=http://www.cs.unm.edu/~mccune/otter/
KEYWORDS=amd64 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos
LICENSE=otter
RDEPEND=x11-libs/libX11 x11-libs/libXaw x11-libs/libXt
SLOT=0
SRC_URI=http://www.cs.unm.edu/~mccune/otter/otter-3.3.tar.gz
-_eclasses_=multilib 98584e405e2b0264d37e8f728327fed1 toolchain-funcs 605c126bed8d87e4378d5ff1645330cb
-_md5_=9500bd301338ba3527f714d10d0a83f6
+_eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 eutils 2d5b3f4b315094768576b6799e4f926e flag-o-matic 09a8beb8e6a8e02dc1e1bd83ac353741 l10n 8cdd85e169b835d518bc2fd59f780d8e multilib 98584e405e2b0264d37e8f728327fed1 toolchain-funcs 605c126bed8d87e4378d5ff1645330cb wrapper 4251d4c84c25f59094fd557e0063a974
+_md5_=35c0781f99f4c127174c3bf0f5ecb0bf
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index 2814ba44b79a..8744c5cae579 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Sat, 31 Oct 2020 23:35:26 +0000
+Sun, 01 Nov 2020 00:35:21 +0000