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

 Name                                     Last modified      Size  
 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