Fri, 31 May 2024 08:23:38 UTC | login

Information for RPM metamath-theories-0.171-1.fc30.noarch.rpm

ID320532
Namemetamath-theories
Version0.171
Release1.fc30
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 Time2019-01-12 00:12:29 GMT
Size11.41 MB
0b996eff1d45511eb7203fd358680c5c
LicenseGPLv2+ and CC0
Buildrootf30-build-41801-23589
Provides
metamath-theories = 0.171-1.fc30
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
metamath = 0.171-1.fc30
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.mm1.79 MB
/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.mm32.13 MB
Component of No Buildroots