blob: 010a0711dc23646b63c7dcb8a467a738983b7c2b (
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.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_=gnuconfig a397adda6984a4c423e28ac274c1ba98 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 multilib c19072c3cd7ac5cb21de013f7e9832e0 libtool 5f49a16f67f81bdf873e3d1f10b10001 autotools dc70c1dc473b68317fc4a86f5fbfc57d
_md5_=339b045621fceffa1ef1cfc145741072
|
GitWeb
