../ nvptx-tools_0.20170301-3.debian.tar.xz 03-Mar-2017 19:44 6440 nvptx-tools_0.20170301-3.dsc 03-Mar-2017 19:44 1884 nvptx-tools_0.20170301-3_amd64.deb 03-Mar-2017 20:14 27K nvptx-tools_0.20170301-3_i386.deb 03-Mar-2017 20:14 28K nvptx-tools_0.20170301.orig.tar.xz 01-Mar-2017 18:45 509K