Fedora 20 Update: gap-4.7.5-1.fc20