../ raxml_8.2.12+dfsg-1.debian.tar.xz 10-Jun-2018 06:01 5336 raxml_8.2.12+dfsg-1.dsc 10-Jun-2018 06:01 2039 raxml_8.2.12+dfsg-1_amd64.deb 10-Jun-2018 06:02 1274864 raxml_8.2.12+dfsg-1_i386.deb 10-Jun-2018 06:02 1198764 raxml_8.2.12+dfsg.orig.tar.xz 10-Jun-2018 06:01 959232