Index of /pub/macports/packages/vampire
Name
Last modified
Size
Description
Parent Directory
-
vampire-4.9_0.darwin_20.x86_64.tbz2
2024-09-07 07:22
3.1M
vampire-4.9_0.darwin_20.x86_64.tbz2.rmd160
2024-09-07 07:22
512
vampire-4.9_0.darwin_21.arm64.tbz2
2024-09-08 17:12
2.7M
vampire-4.9_0.darwin_21.arm64.tbz2.rmd160
2024-09-08 17:12
512
vampire-4.9_0.darwin_21.x86_64.tbz2
2024-09-07 08:40
3.0M
vampire-4.9_0.darwin_21.x86_64.tbz2.rmd160
2024-09-07 08:40
512
vampire-4.9_0.darwin_22.arm64.tbz2
2024-09-07 15:58
2.5M
vampire-4.9_0.darwin_22.arm64.tbz2.rmd160
2024-09-07 15:58
512
vampire-4.9_0.darwin_22.x86_64.tbz2
2024-09-07 13:45
2.8M
vampire-4.9_0.darwin_22.x86_64.tbz2.rmd160
2024-09-07 13:45
512
vampire-4.9_0.darwin_23.arm64.tbz2
2024-09-07 07:16
2.7M
vampire-4.9_0.darwin_23.arm64.tbz2.rmd160
2024-09-07 07:16
512
vampire-4.9_0.darwin_23.x86_64.tbz2
2024-09-09 14:53
2.8M
vampire-4.9_0.darwin_23.x86_64.tbz2.rmd160
2024-09-09 14:53
512
vampire-4.9_0.darwin_24.x86_64.tbz2
2024-10-10 23:25
2.7M
vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160
2024-10-10 23:25
512
vampire-2021-08-04_0.darwin_11.x86_64.tbz2
2024-04-17 04:38
2.5M
vampire-2021-08-04_0.darwin_11.x86_64.tbz2.rmd160
2024-04-17 04:38
512
vampire-2021-08-04_0.darwin_12.x86_64.tbz2
2024-04-17 04:38
2.5M
vampire-2021-08-04_0.darwin_12.x86_64.tbz2.rmd160
2024-04-17 04:38
512
vampire-2021-08-04_0.darwin_13.x86_64.tbz2
2024-04-17 04:36
2.4M
vampire-2021-08-04_0.darwin_13.x86_64.tbz2.rmd160
2024-04-17 04:36
512
vampire-2024-04-12_0.darwin_21.arm64.tbz2
2024-04-29 04:22
2.4M
vampire-2024-04-12_0.darwin_21.arm64.tbz2.rmd160
2024-04-29 04:22
512
vampire-2024-04-12_0.darwin_21.x86_64.tbz2
2024-04-28 02:56
2.7M
vampire-2024-04-12_0.darwin_21.x86_64.tbz2.rmd160
2024-04-28 02:56
512
vampire-2024-04-12_0.darwin_22.arm64.tbz2
2024-04-28 18:04
2.5M
vampire-2024-04-12_0.darwin_22.arm64.tbz2.rmd160
2024-04-28 18:04
512
vampire-2024-04-12_0.darwin_22.x86_64.tbz2
2024-04-29 04:19
2.7M
vampire-2024-04-12_0.darwin_22.x86_64.tbz2.rmd160
2024-04-29 04:19
512
vampire-2024-04-12_0.darwin_23.arm64.tbz2
2024-04-27 09:32
2.7M
vampire-2024-04-12_0.darwin_23.arm64.tbz2.rmd160
2024-04-27 09:32
512
vampire-2024-04-12_0.darwin_23.x86_64.tbz2
2024-04-28 04:41
2.7M
vampire-2024-04-12_0.darwin_23.x86_64.tbz2.rmd160
2024-04-28 04:41
512
vampire-2024-05-31_0.darwin_21.arm64.tbz2
2024-06-09 14:49
2.5M
vampire-2024-05-31_0.darwin_21.arm64.tbz2.rmd160
2024-06-09 14:49
512
vampire-2024-05-31_0.darwin_21.x86_64.tbz2
2024-06-08 20:03
2.8M
vampire-2024-05-31_0.darwin_21.x86_64.tbz2.rmd160
2024-06-08 20:03
512
vampire-2024-05-31_0.darwin_22.arm64.tbz2
2024-06-08 17:51
2.5M
vampire-2024-05-31_0.darwin_22.arm64.tbz2.rmd160
2024-06-08 17:51
512
vampire-2024-05-31_0.darwin_22.x86_64.tbz2
2024-06-09 22:33
2.7M
vampire-2024-05-31_0.darwin_22.x86_64.tbz2.rmd160
2024-06-09 22:33
512
vampire-2024-05-31_0.darwin_23.arm64.tbz2
2024-06-09 04:02
2.7M
vampire-2024-05-31_0.darwin_23.arm64.tbz2.rmd160
2024-06-09 04:02
512
vampire-2024-05-31_0.darwin_23.x86_64.tbz2
2024-06-08 18:53
2.7M
vampire-2024-05-31_0.darwin_23.x86_64.tbz2.rmd160
2024-06-08 18:53
512