Index of /debian-ports/pool-ia64/main/g/gnu-efi

	Name	Last modified	Size

	Parent Directory		-
	gnu-efi_3.0.15-1_ia64.buildinfo	2023-01-28 00:03	5.3K
	gnu-efi_3.0.15-1_ia64.deb	2023-01-28 00:03	124K

Apache Server at ftp.ports.debian.org Port 80