../ 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-4.debian.tar.gz 23-Nov-2013 19:50 7010 vgabios_0.7a-4.dsc 23-Nov-2013 19:50 1407 vgabios_0.7a-4_all.deb 23-Nov-2013 19:50 42740 vgabios_0.7a.orig.tar.gz 19-Apr-2012 03:59 84542