Apache/2.4.62 (Debian) Server at de.freedif.org Port 443Name Last modified Size Description
Parent Directory -
opensbi_1.3.1-1_all.deb 2024-05-09 14:48 129K
opensbi_1.3.1-1.dsc 2024-05-09 14:48 1.0K
opensbi_1.3.1-1.debian.tar.xz 2024-05-09 14:48 5.9K
opensbi_1.3.1.orig.tar.gz 2024-05-09 14:47 397K