edd_get_download_files()

This function can be used for retrieving all downloadable files attached to a download product.

$files = edd_get_download_files( $download_id, $variable_price_id = null );
if( $files ) {
	foreach( $files as $filekey => $file ) {
		// Name: $file['name']
		// URL or path: $file['file']
	}
}

The first parameter is the ID of the download product you want to retrieve files for, and the second parameter is an option price ID. If your download has variable prices enabled, you can pass the ID of a price and only the files available to that price ID will be returned.