../ vgabios_0.7a-3ubuntu2.debian.tar.gz 19-Sep-2012 21:03 10329 vgabios_0.7a-3ubuntu2.dsc 19-Sep-2012 21:03 1691 vgabios_0.7a-3ubuntu2_all.deb 19-Sep-2012 21:03 136866 vgabios_0.7a.orig.tar.gz 14-Jun-2012 22:07 84542