No matches were found for subject:"\[package \- head\-armv7\-default\]\[math\/vampire\] Failed for vampire\-4.4 in build"