../ device3dfx-source_2011.07.03-1_all.deb 03-Jul-2011 14:47 24986 device3dfx-source_2013.08.08-1_all.deb 08-Aug-2013 20:20 23592 device3dfx-source_2013.08.08-4_all.deb 28-Feb-2016 23:27 23146 device3dfx_2013.08.08-1.debian.tar.xz 08-Aug-2013 20:20 7420 device3dfx_2013.08.08-4.debian.tar.xz 28-Feb-2016 23:27 11992 device3dfx_2013.08.08.orig.tar.xz 08-Aug-2013 20:20 11284