From 948d557b4a61dc14722668b6b11a4cf3cee07b01 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Fri, 13 Sep 2019 17:56:30 +0100
Subject: gentoo resync : 13.09.2019

---
 metadata/md5-cache/sci-mathematics/e-2.3 | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 metadata/md5-cache/sci-mathematics/e-2.3

(limited to 'metadata/md5-cache/sci-mathematics/e-2.3')

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
-- 
cgit v1.2.3