Index of /vampire

	Name	Last modified	Size
	Parent Directory		-
	vampire-4.9_0.darwin_20.arm64.tbz2	2025-09-08 09:38	2.8M
	vampire-4.9_0.darwin_20.arm64.tbz2.rmd160	2025-09-08 09:38	512
	vampire-4.9_0.darwin_20.x86_64.tbz2	2024-09-07 07:22	3.1M
	vampire-4.9_0.darwin_20.x86_64.tbz2.rmd160	2024-09-07 07:22	512
	vampire-4.9_0.darwin_21.arm64.tbz2	2024-09-08 17:12	2.7M
	vampire-4.9_0.darwin_21.arm64.tbz2.rmd160	2024-09-08 17:12	512
	vampire-4.9_0.darwin_21.x86_64.tbz2	2024-09-07 08:40	3.0M
	vampire-4.9_0.darwin_21.x86_64.tbz2.rmd160	2024-09-07 08:40	512
	vampire-4.9_0.darwin_22.arm64.tbz2	2024-09-07 15:58	2.5M
	vampire-4.9_0.darwin_22.arm64.tbz2.rmd160	2024-09-07 15:58	512
	vampire-4.9_0.darwin_22.x86_64.tbz2	2024-09-07 13:45	2.8M
	vampire-4.9_0.darwin_22.x86_64.tbz2.rmd160	2024-09-07 13:45	512
	vampire-4.9_0.darwin_23.arm64.tbz2	2024-09-07 07:16	2.7M
	vampire-4.9_0.darwin_23.arm64.tbz2.rmd160	2024-09-07 07:16	512
	vampire-4.9_0.darwin_23.x86_64.tbz2	2024-09-09 14:53	2.8M
	vampire-4.9_0.darwin_23.x86_64.tbz2.rmd160	2024-09-09 14:53	512
	vampire-4.9_0.darwin_24.arm64.tbz2	2025-03-15 03:30	2.4M
	vampire-4.9_0.darwin_24.arm64.tbz2.rmd160	2025-03-15 03:30	512
	vampire-4.9_0.darwin_24.x86_64.tbz2	2024-10-10 23:25	2.7M
	vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160	2024-10-10 23:25	512
	vampire-4.9_0.darwin_25.arm64.tbz2	2025-09-27 16:30	2.3M
	vampire-4.9_0.darwin_25.arm64.tbz2.rmd160	2025-09-27 16:30	512