Index of /macports/packages/vampire/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
vampire-4.9_0.darwin_23.arm64.tbz2 28192422024-Sep-07 20:16
vampire-4.9_0.darwin_23.arm64.tbz2.rmd160 5122024-Sep-07 20:16
vampire-4.9_0.darwin_20.x86_64.tbz2 32266542024-Sep-07 20:22
vampire-4.9_0.darwin_20.x86_64.tbz2.rmd160 5122024-Sep-07 20:22
vampire-4.9_0.darwin_21.x86_64.tbz2.rmd160 5122024-Sep-07 21:40
vampire-4.9_0.darwin_21.x86_64.tbz2 31885472024-Sep-07 21:40
vampire-4.9_0.darwin_22.x86_64.tbz2 29292992024-Sep-08 02:45
vampire-4.9_0.darwin_22.x86_64.tbz2.rmd160 5122024-Sep-08 02:45
vampire-4.9_0.darwin_22.arm64.tbz2 26469252024-Sep-08 04:58
vampire-4.9_0.darwin_22.arm64.tbz2.rmd160 5122024-Sep-08 04:58
vampire-4.9_0.darwin_21.arm64.tbz2.rmd160 5122024-Sep-09 06:12
vampire-4.9_0.darwin_21.arm64.tbz2 28358902024-Sep-09 06:12
vampire-4.9_0.darwin_23.x86_64.tbz2 29265362024-Sep-10 03:53
vampire-4.9_0.darwin_23.x86_64.tbz2.rmd160 5122024-Sep-10 03:53
vampire-4.9_0.darwin_24.x86_64.tbz2 28815662024-Oct-11 12:25
vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160 5122024-Oct-11 12:25
vampire-4.9_0.darwin_24.arm64.tbz2 24857952025-Mar-15 16:30
vampire-4.9_0.darwin_24.arm64.tbz2.rmd160 5122025-Mar-15 16:30
vampire-4.9_0.darwin_20.arm64.tbz2 28917262025-Sep-08 22:38
vampire-4.9_0.darwin_20.arm64.tbz2.rmd160 5122025-Sep-08 22:38
vampire-4.9_0.darwin_25.arm64.tbz2 24639622025-Sep-28 05:30
vampire-4.9_0.darwin_25.arm64.tbz2.rmd160 5122025-Sep-28 05:30