Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM metamath-theories-0.182-1.fc33.noarch.rpm

ID	591700
Name	metamath-theories
Version	0.182
Release	1.fc33
Epoch
Arch	noarch
Summary	Existing mathematical theories in the metamath format
Description	This package contains metamath theory files for several branches of mathematics, such as ZFC set theory, HOL, and Peano arithmetic.
Build Time	2020-04-16 15:40:16 GMT
Size	11.79 MB
SIGMD5	1cf40dc5547d9f5c5b5a774801082b37
License	GPLv2+ and CC0
Buildroot	f33-build-180507-45158
Provides	metamath-theories = 0.182-1.fc33
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	metamath = 0.182-1.fc33 rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 10 of 10 Name Size /usr/share/metamath 0.00 B /usr/share/metamath/big-unifier.mm 21.47 KB /usr/share/metamath/demo0.mm 1.32 KB /usr/share/metamath/hol.mm 85.24 KB /usr/share/metamath/iset.mm 3.79 MB /usr/share/metamath/miu.mm 4.54 KB /usr/share/metamath/nf.mm 2.86 MB /usr/share/metamath/peano.mm 27.19 KB /usr/share/metamath/ql.mm 559.30 KB /usr/share/metamath/set.mm 36.16 MB
Component of	No Buildroots