../ nvptx-tools_0.20170301-3.debian.tar.xz 03-Mar-2017 11:44 6440 nvptx-tools_0.20170301-3.dsc 03-Mar-2017 11:44 1884 nvptx-tools_0.20170301-3_armhf.deb 24-Jun-2017 02:05 22948 nvptx-tools_0.20170301.orig.tar.xz 01-Mar-2017 10:45 521524