Index of /pub/macports/packages/vampire

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]vampire-4.9_0.darwin_20.x86_64.tbz22024-09-07 07:22 3.1M 
[ ]vampire-4.9_0.darwin_20.x86_64.tbz2.rmd1602024-09-07 07:22 512  
[ ]vampire-4.9_0.darwin_21.arm64.tbz22024-09-08 17:12 2.7M 
[ ]vampire-4.9_0.darwin_21.arm64.tbz2.rmd1602024-09-08 17:12 512  
[ ]vampire-4.9_0.darwin_21.x86_64.tbz22024-09-07 08:40 3.0M 
[ ]vampire-4.9_0.darwin_21.x86_64.tbz2.rmd1602024-09-07 08:40 512  
[ ]vampire-4.9_0.darwin_22.arm64.tbz22024-09-07 15:58 2.5M 
[ ]vampire-4.9_0.darwin_22.arm64.tbz2.rmd1602024-09-07 15:58 512  
[ ]vampire-4.9_0.darwin_22.x86_64.tbz22024-09-07 13:45 2.8M 
[ ]vampire-4.9_0.darwin_22.x86_64.tbz2.rmd1602024-09-07 13:45 512  
[ ]vampire-4.9_0.darwin_23.arm64.tbz22024-09-07 07:16 2.7M 
[ ]vampire-4.9_0.darwin_23.arm64.tbz2.rmd1602024-09-07 07:16 512  
[ ]vampire-4.9_0.darwin_23.x86_64.tbz22024-09-09 14:53 2.8M 
[ ]vampire-4.9_0.darwin_23.x86_64.tbz2.rmd1602024-09-09 14:53 512  
[ ]vampire-4.9_0.darwin_24.arm64.tbz22025-03-15 03:30 2.4M 
[ ]vampire-4.9_0.darwin_24.arm64.tbz2.rmd1602025-03-15 03:30 512  
[ ]vampire-4.9_0.darwin_24.x86_64.tbz22024-10-10 23:25 2.7M 
[ ]vampire-4.9_0.darwin_24.x86_64.tbz2.rmd1602024-10-10 23:25 512