-- FIPS PUB 180-3. The complete text of FIPS PUB 180-3 can be found at:
-- http://csrc.nist.gov/publications/fips/fips180-3/fips180-3_final.pdf
--- See the declaration of System.Secure_Hashes.H in s-sechas.ads for complete
+-- See the declaration of GNAT.Secure_Hashes.H in g-sechas.ads for complete
-- documentation.
-with System.Secure_Hashes.SHA2_Common;
-with System.Secure_Hashes.SHA2_64;
+with GNAT.Secure_Hashes.SHA2_Common;
+with GNAT.Secure_Hashes.SHA2_64;
+with System;
-package GNAT.SHA512 is new System.Secure_Hashes.H
- (Block_Words => System.Secure_Hashes.SHA2_Common.Block_Words,
+package GNAT.SHA512 is new GNAT.Secure_Hashes.H
+ (Block_Words => GNAT.Secure_Hashes.SHA2_Common.Block_Words,
State_Words => 8,
Hash_Words => 8,
Hash_Bit_Order => System.High_Order_First,
- Hash_State => System.Secure_Hashes.SHA2_64.Hash_State,
- Initial_State => System.Secure_Hashes.SHA2_64.SHA512_Init_State,
- Transform => System.Secure_Hashes.SHA2_64.Transform);
+ Hash_State => GNAT.Secure_Hashes.SHA2_64.Hash_State,
+ Initial_State => GNAT.Secure_Hashes.SHA2_64.SHA512_Init_State,
+ Transform => GNAT.Secure_Hashes.SHA2_64.Transform);