Index of /dev/pool/main/s/seabios/

../
seabios_1.16.2-1.debian.tar.xz                     11-Apr-2023 13:21                8700
seabios_1.16.2-1.dsc                               11-Apr-2023 13:21                1589
seabios_1.16.2-1_all.deb                           11-Apr-2023 13:51              162656
seabios_1.16.2.orig.tar.gz                         11-Apr-2023 13:21              635918