Thu, 12 Dec 2024 15:09:30 UTC | login

Information for RPM metamath-theories-0.198-8.fc41.noarch.rpm

ID1391257
Namemetamath-theories
Version0.198
Release8.fc41
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 Time2024-08-05 18:06:36 GMT
Size13.49 MB
8c1c331a9a442274ef2835dc81221212
LicenseGPL-2.0-or-later AND CC0-1.0
site:https://github.com/metamath/metamath-exe.git
Buildrootf41-build-829796-156172
Provides
metamath-theories = 0.198-8.fc41
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
metamath = 0.198-8.fc41
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