Information for RPM metamath-theories-0.164-1.fc29.noarch.rpm
ID | 266007 | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | metamath-theories | ||||||||||||||||||||||||
Version | 0.164 | ||||||||||||||||||||||||
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-10-04 12:25:39 GMT | ||||||||||||||||||||||||
Size | 11.04 MB | ||||||||||||||||||||||||
62e383b3cc1b8217fd125d8c99e44a44 | |||||||||||||||||||||||||
License | GPLv2+ and CC0 | ||||||||||||||||||||||||
Buildroot | f29-build-31074-16551 | ||||||||||||||||||||||||
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 |