Index of /pub/unix/systems/Linux/dist/sourcemage/codex/test/disk/gnu-efi
Name
Last modified
Size
Description
Parent Directory
-
INSTALL
2015-05-26 12:04
38
HISTORY
2025-12-20 04:00
1.8K
DETAILS
2025-12-20 04:00
777
DEPENDS
2015-05-26 12:04
19
BUILD
2024-09-01 02:00
167
Apache/2.4.66 (Debian) Server at ftp.mizar.org Port 443