vgabios_0.7b+ds-1_all.deb
vgabios_0.8a+ds-2_all.deb
vgabios_0.8a+ds-3_all.deb