This file is indexed.

/usr/share/ada/adainclude/aws/sha.ads is in libaws2.10.2-dev 2.10.2-4.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
--  (C) Copyright 2000 by John Halleck, All rights reserved.
--  Basic Definitions for NSA's Secure Hash Algorithm.
--  This code implements SHA-1 defined in FIPS PUB 180-1, 17 April 1995.
--  It is part of a project at http://www.cc.utah.edu/~nahaj/

with Interfaces; use Interfaces;
   --  The only modular types for which rotation and shift are officially
   --  defined are those in Interfaces.
   --  We use Unsigned_32 for the digest, and Unsigned_8 in some of the
   --  computation routines.

package SHA is
   pragma Pure (SHA);

   --  At top level we define ONLY the digest, so that programs that
   --  store, compare, and manipulate the digest can be written, without
   --  them all having to drag in everything needed to compute it.

   --  The standard is written in terms of 32 bit words.
   Bits_In_Word     : constant := 32; -- Bits per Digest word.
   Words_In_Digest  : constant :=  5;
   Bits_In_Digest   : constant := Bits_In_Word * Words_In_Digest;

   type Digest is array (0 .. Words_In_Digest - 1) of Unsigned_32;

end SHA;