Index of /macports-packages/vampire/
../
vampire-2021-08-04_0.darwin_11.x86_64.tbz2 17-Apr-2024 08:38 2597366
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 2597769
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 2509063
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 2561601
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 2876731
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 2589200
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 2825012
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 2794768
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 2817613
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 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