miti/verifier @ 7d72f21b8f52b9436d4c1a246b755c062f14d400

dettanym 13a923fe83 Works on Graphene - with old opt/intel sdk		6 anni fa
..
libsgx_tcrypto.a	13a923fe83 Works on Graphene - with old opt/intel sdk	6 anni fa
libsgx_trts.a	13a923fe83 Works on Graphene - with old opt/intel sdk	6 anni fa
libsgx_tservice.a	13a923fe83 Works on Graphene - with old opt/intel sdk	6 anni fa
libsgx_tstdc.a	13a923fe83 Works on Graphene - with old opt/intel sdk	6 anni fa
libsgx_tstdcxx.a	13a923fe83 Works on Graphene - with old opt/intel sdk	6 anni fa