File : hashes.ads

   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;