Index of /vampire

	Name	Last modified	Size
	Parent Directory		-
	vampire-4.9_0.darwin_25.arm64.tbz2.rmd160	2025-09-28 05:30	512
	vampire-4.9_0.darwin_25.arm64.tbz2	2025-09-28 05:30	2.3M
	vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160	2024-10-11 12:25	512
	vampire-4.9_0.darwin_24.x86_64.tbz2	2024-10-11 12:25	2.7M
	vampire-4.9_0.darwin_24.arm64.tbz2.rmd160	2025-03-15 16:30	512
	vampire-4.9_0.darwin_24.arm64.tbz2	2025-03-15 16:30	2.4M
	vampire-4.9_0.darwin_23.x86_64.tbz2.rmd160	2024-09-10 03:53	512
	vampire-4.9_0.darwin_23.x86_64.tbz2	2024-09-10 03:53	2.8M
	vampire-4.9_0.darwin_23.arm64.tbz2.rmd160	2024-09-07 20:16	512
	vampire-4.9_0.darwin_23.arm64.tbz2	2024-09-07 20:16	2.7M
	vampire-4.9_0.darwin_22.x86_64.tbz2.rmd160	2024-09-08 02:45	512
	vampire-4.9_0.darwin_22.x86_64.tbz2	2024-09-08 02:45	2.8M
	vampire-4.9_0.darwin_22.arm64.tbz2.rmd160	2024-09-08 04:58	512
	vampire-4.9_0.darwin_22.arm64.tbz2	2024-09-08 04:58	2.5M
	vampire-4.9_0.darwin_21.x86_64.tbz2.rmd160	2024-09-07 21:40	512
	vampire-4.9_0.darwin_21.x86_64.tbz2	2024-09-07 21:40	3.0M
	vampire-4.9_0.darwin_21.arm64.tbz2.rmd160	2024-09-09 06:12	512
	vampire-4.9_0.darwin_21.arm64.tbz2	2024-09-09 06:12	2.7M
	vampire-4.9_0.darwin_20.x86_64.tbz2.rmd160	2024-09-07 20:22	512
	vampire-4.9_0.darwin_20.x86_64.tbz2	2024-09-07 20:22	3.1M
	vampire-4.9_0.darwin_20.arm64.tbz2.rmd160	2025-09-08 22:38	512
	vampire-4.9_0.darwin_20.arm64.tbz2	2025-09-08 22:38	2.8M