Name                         Last modified      Size  Description
 as_io_wrapper.adb            26-Oct-2017 00:50  2.6K  
 as_io_wrapper.ads            26-Oct-2017 00:50  5.0K  
 clock.adb                    26-Oct-2017 00:57  589   
 clock.ads                    26-Oct-2017 00:57  615   
 main.adb                     26-Oct-2017 01:11  1.2K  
 main.ads                     26-Oct-2017 00:50   41   
 main.gpr                     26-Oct-2017 00:50  124   
 print_package.adb            02-Nov-2017 00:03  268   
 print_package.ads            02-Nov-2017 00:03  138   
 spark-text_io-integer_io.adb 26-Oct-2017 00:50  6.6K  
 spark-text_io-integer_io.ads 26-Oct-2017 00:50  5.6K  
 spark-text_io.adb            26-Oct-2017 00:50   42K  
 spark-text_io.ads            26-Oct-2017 00:50   34K  
 spark.ads                    26-Oct-2017 00:50  3.4K