clang/*
crux-llvm-svcomp-*-Linux-x86_64/*
crux-llvm-svcomp-*-Linux-x86_64.zip
