../ device3dfx-source_2011.07.03-1_all.deb 03-Jul-2011 14:47 24K device3dfx_2011.07.03-1.debian.tar.gz 03-Jul-2011 14:47 7996 device3dfx_2011.07.03-1.dsc 03-Jul-2011 14:47 1191 device3dfx_2011.07.03.orig.tar.gz 03-Jul-2011 14:47 12K