../ nvptx-tools_0.20171010-1.debian.tar.xz 10-Oct-2017 07:29 3916 nvptx-tools_0.20171010-1.dsc 10-Oct-2017 07:29 1851 nvptx-tools_0.20171010-1_armhf.deb 15-Oct-2017 10:08 22816 nvptx-tools_0.20171010.orig.tar.xz 10-Oct-2017 07:29 522740