Links for vampire
vampire-4.9.tar.gz