Index of /pub/gwdg/ubuntu/22.04/pool/main/s/seabios/

../
seabios_1.15.0-1_all.deb                           19-Dec-2021 23:24              174072