../ device3dfx-source_2013.08.08-1_all.deb 08-Aug-2013 17:20 23592 device3dfx-source_2013.08.08-4_all.deb 28-Feb-2016 20:27 23146 device3dfx_2013.08.08-1.debian.tar.xz 08-Aug-2013 17:20 7420 device3dfx_2013.08.08-1.dsc 08-Aug-2013 17:20 1242 device3dfx_2013.08.08-4.debian.tar.xz 28-Feb-2016 20:27 11992 device3dfx_2013.08.08-4.dsc 28-Feb-2016 20:27 1878 device3dfx_2013.08.08.orig.tar.xz 08-Aug-2013 17:20 11284