../ vgabios_0.7a-6_all.deb 11-Mar-2022 23:43 30K vgabios_0.7b+ds-1_all.deb 12-Mar-2022 17:03 29K vgabios_0.8a+ds-2_all.deb 07-Nov-2023 19:35 32K