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