../ libtre-dev_0.8.0-3+deb7u1_amd64.deb 27-Oct-2016 19:49 38092 libtre5_0.8.0-3+deb7u1_amd64.deb 27-Oct-2016 19:49 63888 tre-agrep_0.8.0-3+deb7u1_amd64.deb 27-Oct-2016 19:49 11138 tre_0.8.0-3+deb7u1.debian.tar.gz 27-Oct-2016 19:49 21927 tre_0.8.0-3+deb7u1.dsc 27-Oct-2016 19:49 1803 tre_0.8.0.orig.tar.gz 04-Dec-2009 17:49 481286