| Parent directory/ | - | - |
| vampire-4.9_0.darwin_20.x86_64.tbz2 | 3.1 MiB | 2024-Sep-07 11:22 |
| vampire-4.9_0.darwin_21.x86_64.tbz2 | 3.0 MiB | 2024-Sep-07 12:40 |
| vampire-2024-05-31_0.darwin_21.x86_64.tbz2 | 2.8 MiB | 2024-Jun-09 00:03 |
| vampire-4.9_0.darwin_22.x86_64.tbz2 | 2.8 MiB | 2024-Sep-07 17:45 |
| vampire-4.9_0.darwin_23.x86_64.tbz2 | 2.8 MiB | 2024-Sep-09 18:53 |
| vampire-4.9_0.darwin_24.x86_64.tbz2 | 2.7 MiB | 2024-Oct-11 03:25 |
| vampire-2024-04-12_0.darwin_21.x86_64.tbz2 | 2.7 MiB | 2024-Apr-28 06:56 |
| vampire-2024-05-31_0.darwin_23.x86_64.tbz2 | 2.7 MiB | 2024-Jun-08 22:53 |
| vampire-2024-05-31_0.darwin_22.x86_64.tbz2 | 2.7 MiB | 2024-Jun-10 02:33 |
| vampire-4.9_0.darwin_21.arm64.tbz2 | 2.7 MiB | 2024-Sep-08 21:12 |
| vampire-2024-04-12_0.darwin_22.x86_64.tbz2 | 2.7 MiB | 2024-Apr-29 08:19 |
| vampire-4.9_0.darwin_23.arm64.tbz2 | 2.7 MiB | 2024-Sep-07 11:16 |
| vampire-2024-05-31_0.darwin_23.arm64.tbz2 | 2.7 MiB | 2024-Jun-09 08:02 |
| vampire-2024-04-12_0.darwin_23.x86_64.tbz2 | 2.7 MiB | 2024-Apr-28 08:41 |
| vampire-2024-04-12_0.darwin_23.arm64.tbz2 | 2.7 MiB | 2024-Apr-27 13:32 |
| vampire-4.9_0.darwin_22.arm64.tbz2 | 2.5 MiB | 2024-Sep-07 19:58 |
| vampire-2024-05-31_0.darwin_22.arm64.tbz2 | 2.5 MiB | 2024-Jun-08 21:51 |
| vampire-2021-08-04_0.darwin_12.x86_64.tbz2 | 2.5 MiB | 2024-Apr-17 08:38 |
| vampire-2021-08-04_0.darwin_11.x86_64.tbz2 | 2.5 MiB | 2024-Apr-17 08:38 |
| vampire-2024-05-31_0.darwin_21.arm64.tbz2 | 2.5 MiB | 2024-Jun-09 18:49 |
| vampire-2024-04-12_0.darwin_22.arm64.tbz2 | 2.5 MiB | 2024-Apr-28 22:04 |
| vampire-2024-04-12_0.darwin_21.arm64.tbz2 | 2.4 MiB | 2024-Apr-29 08:22 |
| vampire-2021-08-04_0.darwin_13.x86_64.tbz2 | 2.4 MiB | 2024-Apr-17 08:36 |
| vampire-4.9_0.darwin_23.x86_64.tbz2.rmd160 | 512 B | 2024-Sep-09 18:53 |
| vampire-2024-05-31_0.darwin_22.arm64.tbz2.rmd160 | 512 B | 2024-Jun-08 21:51 |
| vampire-4.9_0.darwin_20.x86_64.tbz2.rmd160 | 512 B | 2024-Sep-07 11:22 |
| vampire-2021-08-04_0.darwin_13.x86_64.tbz2.rmd160 | 512 B | 2024-Apr-17 08:36 |
| vampire-2021-08-04_0.darwin_12.x86_64.tbz2.rmd160 | 512 B | 2024-Apr-17 08:38 |
| vampire-4.9_0.darwin_23.arm64.tbz2.rmd160 | 512 B | 2024-Sep-07 11:16 |
| vampire-4.9_0.darwin_21.x86_64.tbz2.rmd160 | 512 B | 2024-Sep-07 12:40 |
| vampire-2024-04-12_0.darwin_22.arm64.tbz2.rmd160 | 512 B | 2024-Apr-28 22:04 |
| vampire-2024-05-31_0.darwin_23.arm64.tbz2.rmd160 | 512 B | 2024-Jun-09 08:02 |
| vampire-2024-04-12_0.darwin_21.arm64.tbz2.rmd160 | 512 B | 2024-Apr-29 08:22 |
| vampire-2024-05-31_0.darwin_23.x86_64.tbz2.rmd160 | 512 B | 2024-Jun-08 22:53 |
| vampire-4.9_0.darwin_22.arm64.tbz2.rmd160 | 512 B | 2024-Sep-07 19:58 |
| vampire-2024-05-31_0.darwin_21.arm64.tbz2.rmd160 | 512 B | 2024-Jun-09 18:49 |
| vampire-2024-04-12_0.darwin_23.x86_64.tbz2.rmd160 | 512 B | 2024-Apr-28 08:41 |
| vampire-2024-04-12_0.darwin_21.x86_64.tbz2.rmd160 | 512 B | 2024-Apr-28 06:56 |
| vampire-2024-05-31_0.darwin_21.x86_64.tbz2.rmd160 | 512 B | 2024-Jun-09 00:03 |
| vampire-4.9_0.darwin_21.arm64.tbz2.rmd160 | 512 B | 2024-Sep-08 21:12 |
| vampire-2024-04-12_0.darwin_22.x86_64.tbz2.rmd160 | 512 B | 2024-Apr-29 08:19 |
| vampire-2021-08-04_0.darwin_11.x86_64.tbz2.rmd160 | 512 B | 2024-Apr-17 08:38 |
| vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160 | 512 B | 2024-Oct-11 03:25 |
| vampire-2024-04-12_0.darwin_23.arm64.tbz2.rmd160 | 512 B | 2024-Apr-27 13:32 |
| vampire-2024-05-31_0.darwin_22.x86_64.tbz2.rmd160 | 512 B | 2024-Jun-10 02:33 |
| vampire-4.9_0.darwin_22.x86_64.tbz2.rmd160 | 512 B | 2024-Sep-07 17:45 |
/vampire/