1 with Ada.Streams; use Ada.Streams; 2 with Interfaces; use Interfaces; 3 with GNAT.SHA256; 4 5 6 package Hashes is 7 8 type SHA256Hash is array(1 .. 32) of Stream_Element; 9 10 function Sha256_Sum(S : Stream_Element_Array) return SHA256Hash; 11 12 end Hashes;