Fedora 20 Update: Singular-3.1.5-11.fc20