Description of problem: Not every metamath theory is listed in Makefile.am, which is not surprising given that it's old and author apparently doesn't use it himself. Notably, there should be additional hol.mm, iset.mm and nf.mm files in distribution. Version-Release number of selected component (if applicable): How reproducible: Steps to Reproduce: 1. 2. 3. Actual results: Expected results: Additional info:
metamath-0.139-1.fc25 has been submitted as an update to Fedora 25. https://bodhi.fedoraproject.org/updates/FEDORA-2017-e4f854c637
metamath-0.139-1.fc24 has been submitted as an update to Fedora 24. https://bodhi.fedoraproject.org/updates/FEDORA-2017-c3f7fbb557
metamath-0.139-1.fc24 has been pushed to the Fedora 24 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2017-c3f7fbb557
metamath-0.139-1.fc25 has been pushed to the Fedora 25 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2017-e4f854c637
metamath-0.139-1.fc25 has been pushed to the Fedora 25 stable repository. If problems still persist, please make note of it in this bug report.
metamath-0.139-1.fc24 has been pushed to the Fedora 24 stable repository. If problems still persist, please make note of it in this bug report.