Index of /debian/pool/main/o/openbios

Icon  Name                                     Last modified      Size  
[PARENTDIR] Parent Directory - [   ] openbios-ppc_1.1.git20181001-1_all.deb 2018-12-27 20:27 129K [   ] openbios-sparc_1.1.git20181001-1_all.deb 2018-12-27 20:27 161K [   ] openbios_1.1.git20181001-1.debian.tar.xz 2018-12-27 19:47 5.4K [   ] openbios_1.1.git20181001-1.dsc 2018-12-27 19:47 2.1K [   ] openbios_1.1.git20181001.orig.tar.xz 2018-12-27 19:47 598K
Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 80