Thu, 29 Oct 2026 00:53:05 UTC | login

Information for RPM metamath-theories-0.198-12.fc45.noarch.rpm

ID52090
Buildmetamath-0.198-12.fc45
Namemetamath-theories
Version0.198
Release12.fc45
Epoch
Archnoarch
DraftFalse
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 Time2026-10-15 04:24:28 GMT
Size13.49 MB
409d674874cd3ff1d1b86d55f4205883
LicenseGPL-2.0-or-later AND CC0-1.0
site:https://github.com/metamath/metamath-exe.git
Buildrootf45-build-18370-512
Provides
metamath-theories = 0.198-12.fc45
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
metamath = 0.198-12.fc45
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 ascending sort Size
/usr/share/metamath0.00 B
/usr/share/metamath/big-unifier.mm21.21 KB
/usr/share/metamath/demo0.mm1.33 KB
/usr/share/metamath/hol.mm85.25 KB
/usr/share/metamath/iset.mm4.44 MB
/usr/share/metamath/miu.mm4.55 KB
/usr/share/metamath/nf.mm2.84 MB
/usr/share/metamath/peano.mm27.31 KB
/usr/share/metamath/ql.mm559.11 KB
/usr/share/metamath/set.mm41.20 MB
Component of No Buildroots