Index of /macports/packages/vampire/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
vampire-4.9_0.darwin_20.arm64.tbz22.8 MiB2025-Sep-08 22:38
vampire-4.9_0.darwin_20.arm64.tbz2.rmd160512 B2025-Sep-08 22:38
vampire-4.9_0.darwin_20.x86_64.tbz23.1 MiB2024-Sep-07 20:22
vampire-4.9_0.darwin_20.x86_64.tbz2.rmd160512 B2024-Sep-07 20:22
vampire-4.9_0.darwin_21.arm64.tbz22.7 MiB2024-Sep-09 06:12
vampire-4.9_0.darwin_21.arm64.tbz2.rmd160512 B2024-Sep-09 06:12
vampire-4.9_0.darwin_21.x86_64.tbz23.0 MiB2024-Sep-07 21:40
vampire-4.9_0.darwin_21.x86_64.tbz2.rmd160512 B2024-Sep-07 21:40
vampire-4.9_0.darwin_22.arm64.tbz22.5 MiB2024-Sep-08 04:58
vampire-4.9_0.darwin_22.arm64.tbz2.rmd160512 B2024-Sep-08 04:58
vampire-4.9_0.darwin_22.x86_64.tbz22.8 MiB2024-Sep-08 02:45
vampire-4.9_0.darwin_22.x86_64.tbz2.rmd160512 B2024-Sep-08 02:45
vampire-4.9_0.darwin_23.arm64.tbz22.7 MiB2024-Sep-07 20:16
vampire-4.9_0.darwin_23.arm64.tbz2.rmd160512 B2024-Sep-07 20:16
vampire-4.9_0.darwin_23.x86_64.tbz22.8 MiB2024-Sep-10 03:53
vampire-4.9_0.darwin_23.x86_64.tbz2.rmd160512 B2024-Sep-10 03:53
vampire-4.9_0.darwin_24.arm64.tbz22.4 MiB2025-Mar-15 16:30
vampire-4.9_0.darwin_24.arm64.tbz2.rmd160512 B2025-Mar-15 16:30
vampire-4.9_0.darwin_24.x86_64.tbz22.7 MiB2024-Oct-11 12:25
vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160512 B2024-Oct-11 12:25
vampire-4.9_0.darwin_25.arm64.tbz22.3 MiB2025-Sep-28 05:30
vampire-4.9_0.darwin_25.arm64.tbz2.rmd160512 B2025-Sep-28 05:30