Fedora 25 Update: metamath-0.144-1.fc25