Index of /vampire/

../
vampire-4.9_0.darwin_20.x86_64.tbz2                07-Sep-2024 11:22             3226654
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             2835890
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             3188547
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             2646925
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             2929299
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             2819242
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             2926536
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             2485795
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             2881566
vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160         11-Oct-2024 03:25                 512