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


../
seabios_1.10.1-1.debian.tar.xz                     27-Dec-2016 05:06               17676
seabios_1.10.1-1.dsc                               27-Dec-2016 05:06                1665
seabios_1.10.1-1_all.deb                           27-Dec-2016 05:06              130530
seabios_1.10.1.orig.tar.gz                         27-Dec-2016 05:06              588092
seabios_1.8.2-1.debian.tar.xz                      17-Jun-2015 17:06               15376
seabios_1.8.2-1.dsc                                17-Jun-2015 17:06                1656
seabios_1.8.2-1_all.deb                            17-Jun-2015 17:06              114748
seabios_1.8.2.orig.tar.gz                          17-Jun-2015 17:06              538497