Index of /macports/packages/vampire
Name
Last modified
Size
Parent Directory
-
vampire-2021-08-04_0.darwin_11.x86_64.tbz2
2024-04-17 10:38
2.5M
vampire-2021-08-04_0.darwin_11.x86_64.tbz2.rmd160
2024-04-17 10:38
512
vampire-2021-08-04_0.darwin_12.x86_64.tbz2
2024-04-17 10:38
2.5M
vampire-2021-08-04_0.darwin_12.x86_64.tbz2.rmd160
2024-04-17 10:38
512
vampire-2021-08-04_0.darwin_13.x86_64.tbz2
2024-04-17 10:36
2.4M
vampire-2021-08-04_0.darwin_13.x86_64.tbz2.rmd160
2024-04-17 10:36
512
vampire-2024-04-12_0.darwin_21.arm64.tbz2
2024-04-29 10:22
2.4M
vampire-2024-04-12_0.darwin_21.arm64.tbz2.rmd160
2024-04-29 10:22
512
vampire-2024-04-12_0.darwin_21.x86_64.tbz2
2024-04-28 08:56
2.7M
vampire-2024-04-12_0.darwin_21.x86_64.tbz2.rmd160
2024-04-28 08:56
512
vampire-2024-04-12_0.darwin_22.arm64.tbz2
2024-04-29 00:04
2.5M
vampire-2024-04-12_0.darwin_22.arm64.tbz2.rmd160
2024-04-29 00:04
512
vampire-2024-04-12_0.darwin_22.x86_64.tbz2
2024-04-29 10:19
2.7M
vampire-2024-04-12_0.darwin_22.x86_64.tbz2.rmd160
2024-04-29 10:19
512
vampire-2024-04-12_0.darwin_23.arm64.tbz2
2024-04-27 15:32
2.7M
vampire-2024-04-12_0.darwin_23.arm64.tbz2.rmd160
2024-04-27 15:32
512
vampire-2024-04-12_0.darwin_23.x86_64.tbz2
2024-04-28 10:41
2.7M
vampire-2024-04-12_0.darwin_23.x86_64.tbz2.rmd160
2024-04-28 10:41
512
vampire-2024-05-31_0.darwin_21.arm64.tbz2
2024-06-09 20:49
2.5M
vampire-2024-05-31_0.darwin_21.arm64.tbz2.rmd160
2024-06-09 20:49
512
vampire-2024-05-31_0.darwin_21.x86_64.tbz2
2024-06-09 02:03
2.8M
vampire-2024-05-31_0.darwin_21.x86_64.tbz2.rmd160
2024-06-09 02:03
512
vampire-2024-05-31_0.darwin_22.arm64.tbz2
2024-06-08 23:51
2.5M
vampire-2024-05-31_0.darwin_22.arm64.tbz2.rmd160
2024-06-08 23:51
512
vampire-2024-05-31_0.darwin_22.x86_64.tbz2
2024-06-10 04:33
2.7M
vampire-2024-05-31_0.darwin_22.x86_64.tbz2.rmd160
2024-06-10 04:33
512
vampire-2024-05-31_0.darwin_23.arm64.tbz2
2024-06-09 10:02
2.7M
vampire-2024-05-31_0.darwin_23.arm64.tbz2.rmd160
2024-06-09 10:02
512
vampire-2024-05-31_0.darwin_23.x86_64.tbz2
2024-06-09 00:53
2.7M
vampire-2024-05-31_0.darwin_23.x86_64.tbz2.rmd160
2024-06-09 00:53
512
vampire-4.9_0.darwin_20.x86_64.tbz2
2024-09-07 13:22
3.1M
vampire-4.9_0.darwin_20.x86_64.tbz2.rmd160
2024-09-07 13:22
512
vampire-4.9_0.darwin_21.arm64.tbz2
2024-09-08 23:12
2.7M
vampire-4.9_0.darwin_21.arm64.tbz2.rmd160
2024-09-08 23:12
512
vampire-4.9_0.darwin_21.x86_64.tbz2
2024-09-07 14:40
3.0M
vampire-4.9_0.darwin_21.x86_64.tbz2.rmd160
2024-09-07 14:40
512
vampire-4.9_0.darwin_22.arm64.tbz2
2024-09-07 21:58
2.5M
vampire-4.9_0.darwin_22.arm64.tbz2.rmd160
2024-09-07 21:58
512
vampire-4.9_0.darwin_22.x86_64.tbz2
2024-09-07 19:45
2.8M
vampire-4.9_0.darwin_22.x86_64.tbz2.rmd160
2024-09-07 19:45
512
vampire-4.9_0.darwin_23.arm64.tbz2
2024-09-07 13:16
2.7M
vampire-4.9_0.darwin_23.arm64.tbz2.rmd160
2024-09-07 13:16
512
vampire-4.9_0.darwin_23.x86_64.tbz2
2024-09-09 20:53
2.8M
vampire-4.9_0.darwin_23.x86_64.tbz2.rmd160
2024-09-09 20:53
512
vampire-4.9_0.darwin_24.x86_64.tbz2
2024-10-11 05:25
2.7M
vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160
2024-10-11 05:25
512
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443