Links for vampire
vampire-5.0.1.tar.gz