Index of /macports/packages/vampire/

../
vampire-2024-05-31_0.darwin_21.arm64.tbz2          09-Jun-2024 18:49             2593808
vampire-2024-05-31_0.darwin_21.arm64.tbz2.rmd160   09-Jun-2024 18:49                 512
vampire-2024-05-31_0.darwin_21.x86_64.tbz2         09-Jun-2024 00:03             2935706
vampire-2024-05-31_0.darwin_21.x86_64.tbz2.rmd160  09-Jun-2024 00:03                 512
vampire-2024-05-31_0.darwin_22.arm64.tbz2          08-Jun-2024 21:51             2617591
vampire-2024-05-31_0.darwin_22.arm64.tbz2.rmd160   08-Jun-2024 21:51                 512
vampire-2024-05-31_0.darwin_22.x86_64.tbz2         10-Jun-2024 02:33             2840308
vampire-2024-05-31_0.darwin_22.x86_64.tbz2.rmd160  10-Jun-2024 02:33                 512
vampire-2024-05-31_0.darwin_23.arm64.tbz2          09-Jun-2024 08:02             2818523
vampire-2024-05-31_0.darwin_23.arm64.tbz2.rmd160   09-Jun-2024 08:02                 512
vampire-2024-05-31_0.darwin_23.x86_64.tbz2         08-Jun-2024 22:53             2848675
vampire-2024-05-31_0.darwin_23.x86_64.tbz2.rmd160  08-Jun-2024 22:53                 512
vampire-4.9_0.darwin_20.x86_64.tbz2                07-Sep-2024 11:22             3226654
vampire-4.9_0.darwin_20.x86_64.tbz2.rmd160         07-Sep-2024 11:22                 512
vampire-4.9_0.darwin_21.arm64.tbz2                 08-Sep-2024 21:12             2835890
vampire-4.9_0.darwin_21.arm64.tbz2.rmd160          08-Sep-2024 21:12                 512
vampire-4.9_0.darwin_21.x86_64.tbz2                07-Sep-2024 12:40             3188547
vampire-4.9_0.darwin_21.x86_64.tbz2.rmd160         07-Sep-2024 12:40                 512
vampire-4.9_0.darwin_22.arm64.tbz2                 07-Sep-2024 19:58             2646925
vampire-4.9_0.darwin_22.arm64.tbz2.rmd160          07-Sep-2024 19:58                 512
vampire-4.9_0.darwin_22.x86_64.tbz2                07-Sep-2024 17:45             2929299
vampire-4.9_0.darwin_22.x86_64.tbz2.rmd160         07-Sep-2024 17:45                 512
vampire-4.9_0.darwin_23.arm64.tbz2                 07-Sep-2024 11:16             2819242
vampire-4.9_0.darwin_23.arm64.tbz2.rmd160          07-Sep-2024 11:16                 512
vampire-4.9_0.darwin_23.x86_64.tbz2                09-Sep-2024 18:53             2926536
vampire-4.9_0.darwin_23.x86_64.tbz2.rmd160         09-Sep-2024 18:53                 512
vampire-4.9_0.darwin_24.x86_64.tbz2                11-Oct-2024 03:25             2881566
vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160         11-Oct-2024 03:25                 512