diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-04 12:06:28 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-04 12:06:28 +0000 |
| commit | 4551b41523452c0d743a71cca34e4dca2ca7538c (patch) | |
| tree | 2b9ae4a442d7c2810f92833363fd36db073888f0 /metadata/md5-cache/sci-mathematics/eprover-3.0_pre008 | |
| parent | 27e5574c9ed56a2633e25f7fa8f591554266a1b4 (diff) | |
gentoo auto-resync : 04:01:2023 - 12:06:28
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/eprover-3.0_pre008')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/eprover-3.0_pre008 | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/eprover-3.0_pre008 b/metadata/md5-cache/sci-mathematics/eprover-3.0_pre008 new file mode 100644 index 000000000000..dc30c2e0a3b4 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/eprover-3.0_pre008 @@ -0,0 +1,13 @@ +BDEPEND=sys-apps/help2man +DEFINED_PHASES=compile configure install prepare +DESCRIPTION=Automated theorem prover for full first-order logic with equality +EAPI=8 +HOMEPAGE=https://www.eprover.org/ https://github.com/eprover/eprover/ +INHERIT=toolchain-funcs +IUSE=+ho +KEYWORDS=~amd64 ~x86 +LICENSE=GPL-2+ +SLOT=0 +SRC_URI=https://github.com/eprover/eprover/archive/E-3.0pre008.tar.gz -> eprover-3.0_pre008.tar.gz +_eclasses_=multilib 5ca4e49abed8e3a2f7b56920eadee157 toolchain-funcs ec8bbc28394c7305b43ea07164bd8f5f +_md5_=930b31dce3d067f51e7598652e0f60c2 |