--
--  @summary Basalt
--  @author  Johannes Kliemann
--  @date    2019-11-19
--
--  Copyright (C) 2019 Componolit GmbH
--
--  This file is part of Basalt, which is distributed under the terms of the
--  GNU Affero General Public License version 3.
--

package Basalt with
   SPARK_Mode,
   Pure
is

end Basalt;
