Index of /pub/os/linux/debian/pool/main/o/openbios/

Filename	Modification time	Size
openbios-ppc_1.1.git20181001-1_all.deb	2018-12-27 20:27 CET	129 KiB
openbios-sparc_1.1.git20181001-1_all.deb	2018-12-27 20:27 CET	161 KiB
openbios_1.1.git20181001-1.debian.tar.xz	2018-12-27 19:47 CET	5516 B
openbios_1.1.git20181001-1.dsc	2018-12-27 19:47 CET	2187 B
openbios_1.1.git20181001.orig.tar.xz	2018-12-27 19:47 CET	598 KiB