/debian/pool/main/o/openbios/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
openbios_1.1.git20181001.orig.tar.xz597.9 KiB2018-Dec-27 18:47
openbios_1.1.git20181001-1.dsc2.1 KiB2018-Dec-27 18:47
openbios_1.1.git20181001-1.debian.tar.xz5.4 KiB2018-Dec-27 18:47
openbios-sparc_1.1.git20181001-1_all.deb161.5 KiB2018-Dec-27 19:27
openbios-ppc_1.1.git20181001-1_all.deb128.7 KiB2018-Dec-27 19:27