diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/metamath-0.198')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/metamath-0.198 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metadata/md5-cache/sci-mathematics/metamath-0.198 b/metadata/md5-cache/sci-mathematics/metamath-0.198 index 4f529685dd87..c3ea36d10bfa 100644 --- a/metadata/md5-cache/sci-mathematics/metamath-0.198 +++ b/metadata/md5-cache/sci-mathematics/metamath-0.198 @@ -1,4 +1,4 @@ -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 +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-r3 DEFINED_PHASES=prepare DESCRIPTION=Proof verifier based on a minimalistic formalism EAPI=8 @@ -8,5 +8,5 @@ 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 +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 9d3a9a889a6fa62ae794f817c156491b autotools 3af8f60c4bdb23e738db506a630898ee _md5_=339b045621fceffa1ef1cfc145741072 |