Index of /macports/packages/vampire/
../
vampire-2021-08-04_0.darwin_11.x86_64.tbz2 17-Apr-2024 08:38 2M
vampire-2021-08-04_0.darwin_11.x86_64.tbz2.rmd160 17-Apr-2024 08:38 512
vampire-2021-08-04_0.darwin_12.x86_64.tbz2 17-Apr-2024 08:38 2M
vampire-2021-08-04_0.darwin_12.x86_64.tbz2.rmd160 17-Apr-2024 08:38 512
vampire-2021-08-04_0.darwin_13.x86_64.tbz2 17-Apr-2024 08:36 2M
vampire-2021-08-04_0.darwin_13.x86_64.tbz2.rmd160 17-Apr-2024 08:36 512
vampire-2024-04-12_0.darwin_21.arm64.tbz2 29-Apr-2024 08:22 2M
vampire-2024-04-12_0.darwin_21.arm64.tbz2.rmd160 29-Apr-2024 08:22 512
vampire-2024-04-12_0.darwin_21.x86_64.tbz2 28-Apr-2024 06:56 3M
vampire-2024-04-12_0.darwin_21.x86_64.tbz2.rmd160 28-Apr-2024 06:56 512
vampire-2024-04-12_0.darwin_22.arm64.tbz2 28-Apr-2024 22:04 2M
vampire-2024-04-12_0.darwin_22.arm64.tbz2.rmd160 28-Apr-2024 22:04 512
vampire-2024-04-12_0.darwin_22.x86_64.tbz2 29-Apr-2024 08:19 3M
vampire-2024-04-12_0.darwin_22.x86_64.tbz2.rmd160 29-Apr-2024 08:19 512
vampire-2024-04-12_0.darwin_23.arm64.tbz2 27-Apr-2024 13:32 3M
vampire-2024-04-12_0.darwin_23.arm64.tbz2.rmd160 27-Apr-2024 13:32 512
vampire-2024-04-12_0.darwin_23.x86_64.tbz2 28-Apr-2024 08:41 3M
vampire-2024-04-12_0.darwin_23.x86_64.tbz2.rmd160 28-Apr-2024 08:41 512
vampire-2024-05-31_0.darwin_21.arm64.tbz2 09-Jun-2024 18:49 2M
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 3M
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 2M
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 3M
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 3M
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 3M
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 3M
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 3M
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 3M
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 3M
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 3M
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 3M
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 3M
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 3M
vampire-4.9_0.darwin_24.x86_64.tbz2.rmd160 11-Oct-2024 03:25 512