Links for vampire

vampire-4.9.tar.gz