2019-09-11 12:47:47 UTC

5 files changed, 13 insertions, 26 deletions

diff --git a/metadata/md5-cache/sci-mathematics/e-1.5 b/metadata/md5-cache/sci-mathematics/e-1.5
deleted file mode 100644
index 3405e1da771f..000000000000
--- a/metadata/md5-cache/sci-mathematics/e-1.5
+++ /dev/null
@@ -1,12 +0,0 @@
-DEFINED_PHASES=configure install postinst postrm
-DEPEND=isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= )
-DESCRIPTION=E is a theorem prover for full first-order logic with equality
-EAPI=5
-HOMEPAGE=http://www4.informatik.tu-muenchen.de/~schulz/E/E.html
-IUSE=doc examples isabelle
-KEYWORDS=~amd64 ~x86
-LICENSE=GPL-2
-RDEPEND=isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= )
-SLOT=0/1.5
-SRC_URI=http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.5/E.tgz -> E-1.5.tgz
-_md5_=402a784f0a2afd3a70beea5802b2b523
diff --git a/metadata/md5-cache/sci-mathematics/e-1.6 b/metadata/md5-cache/sci-mathematics/e-1.6
deleted file mode 100644
index 71bd28b3795f..000000000000
--- a/metadata/md5-cache/sci-mathematics/e-1.6
+++ /dev/null
@@ -1,12 +0,0 @@
-DEFINED_PHASES=configure install postinst postrm
-DEPEND=isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= )
-DESCRIPTION=E is a theorem prover for full first-order logic with equality
-EAPI=5
-HOMEPAGE=http://www4.informatik.tu-muenchen.de/~schulz/E/E.html
-IUSE=doc examples isabelle
-KEYWORDS=~amd64 ~x86
-LICENSE=GPL-2
-RDEPEND=isabelle? ( >=sci-mathematics/isabelle-2011.1-r1:= )
-SLOT=0/1.6
-SRC_URI=http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.6/E.tgz -> E-1.6.tgz
-_md5_=dd437b06ade967d474eba3890ca3df00
diff --git a/metadata/md5-cache/sci-mathematics/e-2.3 b/metadata/md5-cache/sci-mathematics/e-2.3
new file mode 100644
index 000000000000..971fe28c9cf6
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/e-2.3
@@ -0,0 +1,11 @@
+DEFINED_PHASES=compile configure install prepare
+DEPEND=doc? ( dev-texlive/texlive-latex )
+DESCRIPTION=E is a theorem prover for full first-order logic with equality
+EAPI=7
+HOMEPAGE=https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html
+IUSE=doc examples
+KEYWORDS=~amd64 ~x86
+LICENSE=GPL-2
+SLOT=0/2.3
+SRC_URI=http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.3/E.tgz -> E-2.3.tgz
+_md5_=0c7ea47c3fc08ba2d5f2ca8f6557c836
diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index
index 3e43f0f3558c..6895db172d62 100644
--- a/metadata/pkg_desc_index
+++ b/metadata/pkg_desc_index
@@ -16791,7 +16791,7 @@ sci-mathematics/cvc4 1.6 1.7: automatic theorem prover for satisfiability modulo
 sci-mathematics/dataplot 20090821 20131220: Program for scientific visualization and statistical analyis
 sci-mathematics/diagrtb 2.64: Calculation of some eigenvectors of a large real, symmetrical, matrix
 sci-mathematics/dunshire 0.1.1: Python library to solve linear games over symmetric cones
-sci-mathematics/e 1.5 1.6 1.8-r1: E is a theorem prover for full first-order logic with equality
+sci-mathematics/e 1.8-r1 2.3: E is a theorem prover for full first-order logic with equality
 sci-mathematics/ent 101202: Pseudorandom number sequence test
 sci-mathematics/euler 1.61.0: Mathematical programming environment
 sci-mathematics/factmsieve 76-r1: Convenient factorization helper script using msieve and ggnfs
diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk
index f0ecae7a404c..ade83a95b118 100644
--- a/metadata/timestamp.chk
+++ b/metadata/timestamp.chk
@@ -1 +1 @@
-Wed, 11 Sep 2019 11:26:10 +0000
+Wed, 11 Sep 2019 12:47:47 +0000