../ strategoxt-0.17_0.darwin_10.i386.tbz2 29-Oct-2018 06:20 12705530 strategoxt-0.17_0.darwin_10.i386.tbz2.rmd160 29-Oct-2018 06:20 512 strategoxt-0.17_0.darwin_9.ppc.tbz2 30-Oct-2018 21:21 13204300 strategoxt-0.17_0.darwin_9.ppc.tbz2.rmd160 30-Oct-2018 21:21 512