Index of /debian-debug/pool/main/s/seabios

	Name	Last modified	Size
	Parent Directory		-
	seabios_1.10.2-1.debian.tar.xz	2017-04-05 16:43	17K
	seabios_1.10.2-1.dsc	2017-04-05 16:43	1.6K
	seabios_1.10.2.orig.tar.gz	2017-04-05 16:43	575K