Index of /macports/packages/vampire/

../
vampire-4.9_0.darwin_20.x86_64.tbz2                07-Sep-2024 11:22      3M
vampire-4.9_0.darwin_20.x86_64.tbz2.rmd160         07-Sep-2024 11:22     512
vampire-4.9_0.darwin_21.arm64.tbz2                 08-Sep-2024 21:12      3M
vampire-4.9_0.darwin_21.arm64.tbz2.rmd160          08-Sep-2024 21:12     512
vampire-4.9_0.darwin_21.x86_64.tbz2                07-Sep-2024 12:40      3M
vampire-4.9_0.darwin_21.x86_64.tbz2.rmd160         07-Sep-2024 12:40     512
vampire-4.9_0.darwin_22.arm64.tbz2                 07-Sep-2024 19:58      3M
vampire-4.9_0.darwin_22.arm64.tbz2.rmd160          07-Sep-2024 19:58     512
vampire-4.9_0.darwin_22.x86_64.tbz2                07-Sep-2024 17:45      3M
vampire-4.9_0.darwin_22.x86_64.tbz2.rmd160         07-Sep-2024 17:45     512
vampire-4.9_0.darwin_23.arm64.tbz2                 07-Sep-2024 11:16      3M
vampire-4.9_0.darwin_23.arm64.tbz2.rmd160          07-Sep-2024 11:16     512
vampire-4.9_0.darwin_23.x86_64.tbz2                09-Sep-2024 18:53      3M
vampire-4.9_0.darwin_23.x86_64.tbz2.rmd160         09-Sep-2024 18:53     512
vampire-4.9_0.darwin_24.arm64.tbz2                 15-Mar-2025 07:30      2M
vampire-4.9_0.darwin_24.arm64.tbz2.rmd160          15-Mar-2025 07:30     512
vampire-4.9_0.darwin_24.x86_64.tbz2                11-Oct-2024 03:25      3M
vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160         11-Oct-2024 03:25     512