../ turing_0.10~beta-2.debian.tar.xz 09-Jun-2018 14:13 10820 turing_0.10~beta-2.dsc 09-Jun-2018 14:13 1847 turing_0.10~beta-2_all.deb 09-Jun-2018 14:13 2778588 turing_0.10~beta.orig.tar.gz 17-May-2018 13:12 3326590