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-2021-08-04_0.darwin_23.arm64.tbz2 20-Jan-2024 16:24 2630639
vampire-2021-08-04_0.darwin_23.arm64.tbz2.rmd160 20-Jan-2024 16:24 512
vampire-2021-08-04_0.darwin_23.x86_64.tbz2 03-Dec-2023 16:15 2705554
vampire-2021-08-04_0.darwin_23.x86_64.tbz2.rmd160 03-Dec-2023 16:15 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