../ strategoxt-0.17_0.darwin_10.i386.tbz2 29-Oct-2018 09:20 12M strategoxt-0.17_0.darwin_10.i386.tbz2.rmd160 29-Oct-2018 09:20 512 strategoxt-0.17_0.darwin_9.ppc.tbz2 31-Oct-2018 00:21 13M strategoxt-0.17_0.darwin_9.ppc.tbz2.rmd160 31-Oct-2018 00:21 512