raw
eucrypt_ch12_wrap...    1  S.MG, 2018
eucrypt_ch12_wrap...    2 
eucrypt_ch12_wrap...    3 Building:
eucrypt_ch12_wrap...    4 gprbuild
eucrypt_ch12_wrap...    5 
eucrypt_ch12_wrap...    6 Cleaning:
eucrypt_ch12_wrap...    7 gprclean
eucrypt_ch12_wrap...    8