Index of /macports/packages/vampire/
../
vampire-4.9_0.darwin_20.x86_64.tbz2 07-Sep-2024 14:22 3M
vampire-4.9_0.darwin_20.x86_64.tbz2.rmd160 07-Sep-2024 14:22 512
vampire-4.9_0.darwin_21.arm64.tbz2 09-Sep-2024 00:12 3M
vampire-4.9_0.darwin_21.arm64.tbz2.rmd160 09-Sep-2024 00:12 512
vampire-4.9_0.darwin_21.x86_64.tbz2 07-Sep-2024 15:40 3M
vampire-4.9_0.darwin_21.x86_64.tbz2.rmd160 07-Sep-2024 15:40 512
vampire-4.9_0.darwin_22.arm64.tbz2 07-Sep-2024 22:58 3M
vampire-4.9_0.darwin_22.arm64.tbz2.rmd160 07-Sep-2024 22:58 512
vampire-4.9_0.darwin_22.x86_64.tbz2 07-Sep-2024 20:45 3M
vampire-4.9_0.darwin_22.x86_64.tbz2.rmd160 07-Sep-2024 20:45 512
vampire-4.9_0.darwin_23.arm64.tbz2 07-Sep-2024 14:16 3M
vampire-4.9_0.darwin_23.arm64.tbz2.rmd160 07-Sep-2024 14:16 512
vampire-4.9_0.darwin_23.x86_64.tbz2 09-Sep-2024 21:53 3M
vampire-4.9_0.darwin_23.x86_64.tbz2.rmd160 09-Sep-2024 21:53 512
vampire-4.9_0.darwin_24.arm64.tbz2 15-Mar-2025 10:30 2M
vampire-4.9_0.darwin_24.arm64.tbz2.rmd160 15-Mar-2025 10:30 512
vampire-4.9_0.darwin_24.x86_64.tbz2 11-Oct-2024 06:25 3M
vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160 11-Oct-2024 06:25 512