| Parent directory/ | - | - |
| vampire-4.9_0.darwin_24.arm64.tbz2.rmd160 | 512 B | 2025-Mar-15 07:30 |
| vampire-4.9_0.darwin_24.arm64.tbz2 | 2.4 MiB | 2025-Mar-15 07:30 |
| vampire-4.9_0.darwin_24.x86_64.tbz2 | 2.7 MiB | 2024-Oct-11 03:25 |
| vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160 | 512 B | 2024-Oct-11 03:25 |
| vampire-4.9_0.darwin_23.x86_64.tbz2.rmd160 | 512 B | 2024-Sep-09 18:53 |
| vampire-4.9_0.darwin_23.x86_64.tbz2 | 2.8 MiB | 2024-Sep-09 18:53 |
| vampire-4.9_0.darwin_21.arm64.tbz2.rmd160 | 512 B | 2024-Sep-08 21:12 |
| vampire-4.9_0.darwin_21.arm64.tbz2 | 2.7 MiB | 2024-Sep-08 21:12 |
| vampire-4.9_0.darwin_22.arm64.tbz2.rmd160 | 512 B | 2024-Sep-07 19:58 |
| vampire-4.9_0.darwin_22.arm64.tbz2 | 2.5 MiB | 2024-Sep-07 19:58 |
| vampire-4.9_0.darwin_22.x86_64.tbz2.rmd160 | 512 B | 2024-Sep-07 17:45 |
| vampire-4.9_0.darwin_22.x86_64.tbz2 | 2.8 MiB | 2024-Sep-07 17:45 |
| vampire-4.9_0.darwin_21.x86_64.tbz2.rmd160 | 512 B | 2024-Sep-07 12:40 |
| vampire-4.9_0.darwin_21.x86_64.tbz2 | 3.0 MiB | 2024-Sep-07 12:40 |
| vampire-4.9_0.darwin_20.x86_64.tbz2 | 3.1 MiB | 2024-Sep-07 11:22 |
| vampire-4.9_0.darwin_20.x86_64.tbz2.rmd160 | 512 B | 2024-Sep-07 11:22 |
| vampire-4.9_0.darwin_23.arm64.tbz2.rmd160 | 512 B | 2024-Sep-07 11:16 |
| vampire-4.9_0.darwin_23.arm64.tbz2 | 2.7 MiB | 2024-Sep-07 11:16 |