Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - opensbi_1.3.1.orig.tar.gz 2024-05-09 08:47 397K opensbi_1.3.1-1.debian.tar.xz 2024-05-09 08:48 5.9K opensbi_1.3.1-1.dsc 2024-05-09 08:48 1.0K opensbi_1.3.1-1_all.deb 2024-05-09 08:48 129K