diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2021-11-26 09:51:34 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-11-26 09:51:34 +0000 |
| commit | cfa57f88f492065666b424d2bebcaa0cfed382a0 (patch) | |
| tree | 3a8672adece9cdc189b6c2f144dbc3ae82756575 /metadata/md5-cache/sci-mathematics/metamath-0.198 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-cfa57f88f492065666b424d2bebcaa0cfed382a0.tar.gz gentoo-cfa57f88f492065666b424d2bebcaa0cfed382a0.tar.bz2 gentoo-cfa57f88f492065666b424d2bebcaa0cfed382a0.zip | |
2021-11-26 09:51:32 UTC
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..be432f944dca --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/metamath-0.198 @@ -0,0 +1,12 @@ +BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.2-r1:1.16 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4 +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 262062cef0ba4f22b397193da514a350 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa multilib 4b66d835ec72e021e359bb81eacfe988 libtool 241a8f577b9781a42a7421e53448a44e autotools c9df06c186913b43eb211100ef5fe2cf +_md5_=8f96c4a5e760271bbdb30ed3f850de4d |