../ libtorch3-dev_3.1-2.2_armhf.deb 08-Dec-2016 10:08 793070 libtorch3c2_3.1-2.2_armhf.deb 08-Dec-2016 10:08 145758 torch3_3.1-2.2.diff.gz 24-Nov-2016 19:25 11725 torch3_3.1-2.2.dsc 24-Nov-2016 19:25 1684 torch3_3.1.orig.tar.gz 19-Apr-2012 03:50 789599