11 lines
384 B
Text
11 lines
384 B
Text
DEFINED_PHASES=install
|
|
DESCRIPTION=Sample databases for Metamath
|
|
EAPI=8
|
|
HOMEPAGE=http://us.metamath.org/mpeuni/mmset.html
|
|
IUSE=doc
|
|
KEYWORDS=~amd64 ~x86
|
|
LICENSE=CC0-1.0
|
|
RDEPEND=sci-mathematics/metamath
|
|
SLOT=0
|
|
SRC_URI=https://github.com/metamath/set.mm/archive/99d707bc3c600a9d6052a46a7c85f05b74c589a2.tar.gz -> metamath-databases-20220303.tar.gz
|
|
_md5_=b623cbe16b0699c67af13a4af1e1702f
|