Folder Path

/macports/packages/vampire/

0 directories 22 files 30 MiB total

	Name	Size	Modified
	Up
	vampire-4.9_0.darwin_20.arm64.tbz2	2.8 MiB	09/08/2025 01:38:15 PM +00:00
	vampire-4.9_0.darwin_20.arm64.tbz2.rmd160	512 B	09/08/2025 01:38:15 PM +00:00
	vampire-4.9_0.darwin_20.x86_64.tbz2	3.1 MiB	09/07/2024 11:22:21 AM +00:00
	vampire-4.9_0.darwin_20.x86_64.tbz2.rmd160	512 B	09/07/2024 11:22:21 AM +00:00
	vampire-4.9_0.darwin_21.arm64.tbz2	2.7 MiB	09/08/2024 09:12:00 PM +00:00
	vampire-4.9_0.darwin_21.arm64.tbz2.rmd160	512 B	09/08/2024 09:12:00 PM +00:00
	vampire-4.9_0.darwin_21.x86_64.tbz2	3.0 MiB	09/07/2024 12:40:54 PM +00:00
	vampire-4.9_0.darwin_21.x86_64.tbz2.rmd160	512 B	09/07/2024 12:40:54 PM +00:00
	vampire-4.9_0.darwin_22.arm64.tbz2	2.5 MiB	09/07/2024 07:58:02 PM +00:00
	vampire-4.9_0.darwin_22.arm64.tbz2.rmd160	512 B	09/07/2024 07:58:02 PM +00:00
	vampire-4.9_0.darwin_22.x86_64.tbz2	2.8 MiB	09/07/2024 05:45:33 PM +00:00
	vampire-4.9_0.darwin_22.x86_64.tbz2.rmd160	512 B	09/07/2024 05:45:34 PM +00:00
	vampire-4.9_0.darwin_23.arm64.tbz2	2.7 MiB	09/07/2024 11:16:13 AM +00:00
	vampire-4.9_0.darwin_23.arm64.tbz2.rmd160	512 B	09/07/2024 11:16:14 AM +00:00
	vampire-4.9_0.darwin_23.x86_64.tbz2	2.8 MiB	09/09/2024 06:53:14 PM +00:00
	vampire-4.9_0.darwin_23.x86_64.tbz2.rmd160	512 B	09/09/2024 06:53:14 PM +00:00
	vampire-4.9_0.darwin_24.arm64.tbz2	2.4 MiB	03/15/2025 07:30:46 AM +00:00
	vampire-4.9_0.darwin_24.arm64.tbz2.rmd160	512 B	03/15/2025 07:30:47 AM +00:00
	vampire-4.9_0.darwin_24.x86_64.tbz2	2.7 MiB	10/11/2024 03:25:21 AM +00:00
	vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160	512 B	10/11/2024 03:25:21 AM +00:00
	vampire-4.9_0.darwin_25.arm64.tbz2	2.3 MiB	09/27/2025 08:30:39 PM +00:00
	vampire-4.9_0.darwin_25.arm64.tbz2.rmd160	512 B	09/27/2025 08:30:39 PM +00:00