该项目从 https://github.com/richard-evans/vampire.git 镜像。 拉取镜像更新于 3月 15, 2025。