Searched refs:dist (Results 1 – 2 of 2) sorted by relevance
17 $dist = $latest['source'][0]; variable18 $filename = __DIR__ . "/distributions/{$dist['filename']}";21 } elseif (isset($dist['sha256']) &&24 $hash_ok = (int)(hash_file('sha256', $filename) === $dist['sha256']);
18 "dist": {82 "dist": {161 "dist": {242 "dist": {308 "dist": {355 "dist": {416 "dist": {519 "dist": {579 "dist": {637 "dist": {[all …]
Completed in 13 milliseconds