Information for RPM metamath-theories-0.166-1.fc29.noarch.rpm
ID | 272256 | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | metamath-theories | ||||||||||||||||||||||||
Version | 0.166 | ||||||||||||||||||||||||
Release | 1.fc29 | ||||||||||||||||||||||||
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 | 2018-11-25 13:09:21 GMT | ||||||||||||||||||||||||
Size | 11.31 MB | ||||||||||||||||||||||||
2cbc0c98789905a996d64407646afc1d | |||||||||||||||||||||||||
License | GPLv2+ and CC0 | ||||||||||||||||||||||||
Buildroot | f29-build-33373-18085 | ||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||
Component of | No Buildroots |