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

	Name	Last modified	Size
	Parent Directory		-
	seabios_1.12.0.orig.tar.gz	21-Dec-2018 18:53	599K
	seabios_1.12.0-1_all.deb	21-Dec-2018 18:53	133K
	seabios_1.12.0-1.dsc	21-Dec-2018 18:53	1.6K
	seabios_1.12.0-1.debian.tar.xz	21-Dec-2018 18:53	17K
	seabios_1.10.2.orig.tar.gz	05-Apr-2017 15:43	575K
	seabios_1.10.2-1_all.deb	05-Apr-2017 15:43	128K
	seabios_1.10.2-1.dsc	05-Apr-2017 15:43	1.6K
	seabios_1.10.2-1.debian.tar.xz	05-Apr-2017 15:43	17K
	seabios_1.7.5.orig.tar.gz	31-May-2014 09:32	525K
	seabios_1.7.5-1_all.deb	31-May-2014 09:32	109K
	seabios_1.7.5-1.dsc	31-May-2014 09:32	1.6K
	seabios_1.7.5-1.debian.tar.xz	31-May-2014 09:32	14K