/usr/lib/spark/current/spark-ada.ads is in spark 2012.0.deb-11+b2.
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 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 | -------------------------------------------------------------------------------
-- (C) Altran Praxis Limited
-------------------------------------------------------------------------------
--
-- The SPARK toolset is free software; you can redistribute it and/or modify it
-- under terms of the GNU General Public License as published by the Free
-- Software Foundation; either version 3, or (at your option) any later
-- version. The SPARK toolset is distributed in the hope that it will be
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
-- Public License for more details. You should have received a copy of the GNU
-- General Public License distributed with the SPARK toolset; see file
-- COPYING3. If not, go to http://www.gnu.org/licenses for a complete copy of
-- the license.
--
--=============================================================================
-------------------------------------------------------------------------------
-- --
-- SPARK.Ada --
-- --
-- Description --
-- This is a binding to package Ada --
-- --
-- Language --
-- Specification : SPARK --
-- Private Part : N/A --
-- Body : N/A --
-- --
-- Runtime Requirements and Dependencies --
-- No Ada Runtime --
-- --
-- Verification --
-- N/A --
-- --
-- Exceptions --
-- None --
-- --
-------------------------------------------------------------------------------
package SPARK.Ada is
end SPARK.Ada;
|