Name                         Last modified      Size  Description
 spark.ads                    09-Nov-2017 01:06  3.4K  
 spark-text_io.ads            09-Nov-2017 01:06   34K  
 spark-text_io.adb            09-Nov-2017 01:06   42K  
 spark-text_io-integer_io.ads 09-Nov-2017 01:06  5.6K  
 spark-text_io-integer_io.adb 09-Nov-2017 01:06  6.6K  
 mainWithoutRangeCheck.gpr    09-Nov-2017 01:06  159   
 main.gpr                     09-Nov-2017 01:06  124   
 main.ads                     09-Nov-2017 01:06   41   
 main.adb                     09-Nov-2017 01:09  1.1K  
 main-loc.xml                 09-Nov-2017 01:06  2.6K  
 clock.ads                    09-Nov-2017 01:08  443   
 clock.adb                    09-Nov-2017 01:08  426   
 as_io_wrapper.ads            09-Nov-2017 01:06  5.0K  
 as_io_wrapper.adb            09-Nov-2017 01:06  2.6K