../ vgabios_0.7a-3.debian.tar.gz 14-Jun-2012 07:47 6817 vgabios_0.7a-3.dsc 14-Jun-2012 07:47 1407 vgabios_0.7a-3_all.deb 14-Jun-2012 07:47 147514 vgabios_0.7a.orig.tar.gz 01-Nov-2011 00:33 84542