blob: 15a581cffbdf2f819735e782555ec80afabd3b38 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
BDEPEND=>=app-portage/elt-patches-20240116 sys-devel/gnuconfig || ( >=dev-build/automake-1.17-r1:1.17 >=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
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_=autotools 7d91cc798a8afd8f4e0c6e9587296ebe gnuconfig ddeb9f8caff1b5f71a09c75b7534df79 libtool 6b28392a775f807c8be5fc7ec9a605b9 multilib b2a329026f2e404e9e371097dda47f96 toolchain-funcs 14648d8795f7779e11e1bc7cf08b7536
_md5_=339b045621fceffa1ef1cfc145741072
|
