Index of /pub/linux/distributions/debian/archive/debian-debug/pool/main/s/seabios
Name
Last modified
Size
Description
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
Apache/2.4 Server at linux.mathematik.tu-darmstadt.de Port 443