diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/metamath-0.198')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/metamath-0.198 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/metamath-0.198 b/metadata/md5-cache/sci-mathematics/metamath-0.198 new file mode 100644 index 000000000000..4f529685dd87 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/metamath-0.198 @@ -0,0 +1,12 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=dev-build/automake-1.16.5:1.16 ) || ( >=dev-build/autoconf-2.72-r1:2.72 >=dev-build/autoconf-2.71-r6:2.71 ) >=dev-build/libtool-2.4.7 +DEFINED_PHASES=prepare +DESCRIPTION=Proof verifier based on a minimalistic formalism +EAPI=8 +HOMEPAGE=http://us.metamath.org/ +INHERIT=autotools +KEYWORDS=~amd64 ~x86 +LICENSE=GPL-2 +SLOT=0 +SRC_URI=https://github.com/metamath/metamath-exe/archive/refs/tags/v0.198.tar.gz -> metamath-0.198.tar.gz +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 9d3a9a889a6fa62ae794f817c156491b autotools e4cf390b19033d5ca443765bc8537b81 +_md5_=339b045621fceffa1ef1cfc145741072 |