../ vgabios_0.8a+ds-2.debian.tar.xz 18-Jul-2025 10:30 6916 vgabios_0.8a+ds-2.dsc 18-Jul-2025 10:30 991 vgabios_0.8a+ds-2_all.deb 15-Jul-2025 06:54 29K vgabios_0.8a+ds.orig.tar.xz 18-Jul-2025 10:30 73K