Fri, 13 Dec 2024 05:24:39 UTC | login

Information for RPM metamath-theories-0.162-2.fc29.noarch.rpm

ID227704
Namemetamath-theories
Version0.162
Release2.fc29
Epoch
Archnoarch
SummaryExisting mathematical theories in the metamath format
DescriptionThis package contains metamath theory files for several branches of mathematics, such as ZFC set theory, HOL, and Peano arithmetic.
Build Time2018-08-07 15:51:19 GMT
Size10.79 MB
7d36c2aaf78b1d147b2563ff24eef41c
LicenseGPLv2+ and CC0
Buildrootf29-build-23539-12035
Provides
metamath-theories = 0.162-2.fc29
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
metamath = 0.162-2.fc29
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 10 of 10
Name ascending sort Size
/usr/share/metamath0.00 B
/usr/share/metamath/big-unifier.mm21.47 KB
/usr/share/metamath/demo0.mm1.32 KB
/usr/share/metamath/hol.mm85.24 KB
/usr/share/metamath/iset.mm758.44 KB
/usr/share/metamath/miu.mm4.54 KB
/usr/share/metamath/nf.mm2.82 MB
/usr/share/metamath/peano.mm27.19 KB
/usr/share/metamath/ql.mm559.30 KB
/usr/share/metamath/set.mm30.74 MB
Component of No Buildroots