diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2021-12-05 02:47:11 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2021-12-05 02:47:11 +0000 |
| commit | 2771f79232c273bc2a57d23bf335dd81ccf6af28 (patch) | |
| tree | c8af0fd04194aed03cf067d44e53c7edd3e9ab84 /metadata/md5-cache/sci-mathematics/metamath-0.198 | |
| parent | e9d044d4b9b71200a96adfa280848858c0f468c9 (diff) | |
gentoo resync : 05.12.2021
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/metamath-0.198')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/metamath-0.198 | 11 |
1 files changed, 11 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..0180aa564ac2 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/metamath-0.198 @@ -0,0 +1,11 @@ +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/ +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 c9df06c186913b43eb211100ef5fe2cf gnuconfig 262062cef0ba4f22b397193da514a350 libtool 241a8f577b9781a42a7421e53448a44e multilib 4b66d835ec72e021e359bb81eacfe988 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa +_md5_=339b045621fceffa1ef1cfc145741072 |