../ nvptx-tools_0.20180301-1.debian.tar.xz 08-Mar-2018 12:21 3964 nvptx-tools_0.20180301-1.dsc 08-Mar-2018 12:21 1884 nvptx-tools_0.20180301-1_amd64.deb 08-Mar-2018 12:56 27K nvptx-tools_0.20180301-1_i386.deb 08-Mar-2018 12:56 28K nvptx-tools_0.20180301.orig.tar.xz 08-Mar-2018 12:21 511K