Fedora 26 Update: metamath-0.149-1.fc26