Index of /professional/pool/main/s/seabios/

../
seabios_1.10.1-1.debian.tar.xz                     27-Dec-2016 05:06     17K
seabios_1.10.1-1.dsc                               27-Dec-2016 05:06    1665
seabios_1.10.1-1_all.deb                           27-Dec-2016 05:06    127K
seabios_1.10.1.orig.tar.gz                         27-Dec-2016 05:06    574K
seabios_1.8.2-1.debian.tar.xz                      17-Jun-2015 17:06     15K
seabios_1.8.2-1.dsc                                17-Jun-2015 17:06    1656
seabios_1.8.2-1_all.deb                            17-Jun-2015 17:06    112K
seabios_1.8.2.orig.tar.gz                          17-Jun-2015 17:06    526K