Fedora 24 Update: metamath-0.135-1.fc24