../ vgabios_0.7a-3ubuntu2.debian.tar.gz 19-Sep-2012 15:03 10K vgabios_0.7a-3ubuntu2.dsc 19-Sep-2012 15:03 1691 vgabios_0.7a-3ubuntu2_all.deb 19-Sep-2012 15:03 134K vgabios_0.7a.orig.tar.gz 14-Jun-2012 16:07 83K