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