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": {89 "dist": {170 "dist": {236 "dist": {329 "dist": {388 "dist": {446 "dist": {513 "dist": {564 "dist": {642 "dist": {[all …]
Completed in 12 milliseconds