/debian/pool/main/o/openbios/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
openbios-ppc_1.1.git20181001-1_all.deb128.7 KiBDecember 27, 2018
openbios-sparc_1.1.git20181001-1_all.deb161.5 KiBDecember 27, 2018